Active Bibliography

278 Korat: Automated testing based on Java predicates – Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov - 2002
39 TestEra: Specification-based Testing of Java Programs Using SAT – Sarfraz Khurshid, Darko Marinov - 2004
32 Automatic Testing of Software with Structurally Complex Inputs – Darko Marinov - 2005
7 Checking Java Implementation of a Naming Architecture Using TestEra – Sarfraz Khurshid, Darko Marinov - 2001
6 TestEra: A Novel Framework for Testing Java Programs – Sarfraz Khurshid, Darko Marinov - 2003
30 An evaluation of exhaustive testing for data structures – Darko Marinov, Alexandr Andoni, Dumitru Daniliuc, Sarfraz Khurshid, Martin Rinard - 2003
2 Correcting a Naming Architecture Using Lightweight Constraint Analysis – Sarfraz Khurshid, Daniel Jackson - 2001
21 Efficient Software Model Checking of Data Structure Properties – Paul Darga , Chandrasekhar Boyapati - 2006
5 VAlloy: Virtual functions meet a relational language – Darko Marinov, Sarfraz Khurshid - 2002
140 Test Input Generation with Java PathFinder – Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
S.M. Computer Science – Massachusetts Institute Of, Mandana Vaziri-farahani, Daniel N. Jackson, Arthur C. Smith, Mandana Vaziri-farahani - 2004
29 An Analyzable Annotation Language – Sarfraz Khurshid , Darko Marinov, Daniel Jackson - 2002
2 An incremental approach to scope-bounded checking using a . . . – Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
18 Modular Verification of Code with SAT – Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson - 2006
20 Relational analysis of algebraic datatypes – Viktor Kuncak, Daniel Jackson - 2005
9 Reasoning about static and dynamic properties in alloy: A purely relational approach РMarcelo F. Frias, Carlos G. López Pombo, Gabriel A. Baum, Nazareno M. Aguirre, Thomas S. E. Maibaum - 2005
1 Verifying Time Partitioning in the DEOS Scheduling Kernel – John Penix, Willem Visser, Seungjoon Park, Eric Engstrom, Aaron Larson, Nicholas Weininger - 2004
42 Expressing Checkable Properties of Dynamic Systems: The Bandera Specification Language – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby - 2001
47 A Language Framework For Expressing Checkable Properties of Dynamic Software – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby - 2000