Active Bibliography

32 TestEra: Specification-based Testing of Java Programs Using SAT – Sarfraz Khurshid, Darko Marinov - 2004
27 Automatic Testing of Software with Structurally Complex Inputs – Darko Marinov - 2005
5 TestEra: A Novel Framework for Testing Java Programs – Sarfraz Khurshid, Darko Marinov - 2003
27 An evaluation of exhaustive testing for data structures – Darko Marinov, Alexandr Andoni, Dumitru Daniliuc, Sarfraz Khurshid, Martin Rinard - 2003
82 TestEra: A Novel Framework for Automated Testing of Java Programs – Darko Marinov, Sarfraz Khurshid - 2001
18 Efficient Software Model Checking of Data Structure Properties – Paul Darga , Chandrasekhar Boyapati - 2006
15 Repairing Structurally Complex Data – Sarfraz Khurshid, Iván García, Yuk Lai Suen - 2005
7 JMLAutoTest: a Novel Automated Testing Framework based on JML and JUnit – Guoqing Xu, Zongyuang Yang - 2003
1 Generating test inputs for fault-tree analyzers using imperative predicates – Saˇsa Misailović Aleks, Ar Milićević - 2007
1 Generating test inputs for fault-tree analyzers using imperative predicates – Sasa Misailović , Aleksandar Milićević, Sarfraz Khurshid, Darko Marinov - 2007
4 Evaluating the ”Small Scope Hypothesis – Alexandr Andoni, Dumitru Daniliuc, Sarfraz Khurshid - 2003
111 Test Input Generation with Java PathFinder – Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
Glass Box Software Model Checking – Michael E. Roberson - 2011
7 Checking Java Implementation of a Naming Architecture Using TestEra – Sarfraz Khurshid, Darko Marinov - 2001
146 Generalized Symbolic Execution for Model Checking and Testing – Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser - 2003
1 Correcting a Naming Architecture Using Lightweight Constraint Analysis – Sarfraz Khurshid, Daniel Jackson - 2001
54 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
147 Cmc: A pragmatic approach to model checking real code – Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill - 2002
5 Efficient Software Model Checking of Soundness of Type Systems – Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati - 2008