Kelvin Ku

	2008
3		Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. ASE 2008: 387-390
2		Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: PtYasm: Software Model Checking with Proof Templates. ASE 2008: 479-480
	2007
1		Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie: A buffer overflow benchmark for software model checkers. ASE 2007: 389-392

Coauthor Index

1	Marsha Chechik	[1] [2] [3]
2	Arie Gurfinkel	[2] [3]
3	Thomas E. Hart	[1] [2] [3]
4	David Lie	[1] [2] [3]