Search results for: Suresh Thummalapenta
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Testing in Practice > 294-309
Lecture Notes in Computer Science > Tests and Proofs > Test Generation Using Proof Techniques > 77-93
Automated Software Engineering > 2011 > 18 > 3-4 > 293-323
Empirical Software Engineering > 2010 > 15 > 1 > 1-34