Active Bibliography

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
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
91 TestEra: A Novel Framework for Automated Testing of Java Programs – Darko Marinov, Sarfraz Khurshid - 2001
21 Efficient Software Model Checking of Data Structure Properties – Paul Darga , Chandrasekhar Boyapati - 2006
16 Repairing Structurally Complex Data – Sarfraz Khurshid, Iván García, Yuk Lai Suen - 2005
6 Evaluating the ”Small Scope Hypothesis – Alexandr Andoni, Dumitru Daniliuc, Sarfraz Khurshid - 2003
Using Incremental Techniques – Engin Uzuncaova, Sarfraz Khurshid Supervisor, Adnan Aziz, Don Batory, Christine Julien, Vladimir Lifschitz, Dewayne E. Perry, Efficient Specification-based Testing
2 Correcting a Naming Architecture Using Lightweight Constraint Analysis – Sarfraz Khurshid, Daniel Jackson - 2001
140 Test Input Generation with Java PathFinder – Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
1 Glass Box Software Model Checking – Michael E. Roberson - 2011
11 JMLAutoTest: a Novel Automated Testing Framework based on JML and JUnit – Guoqing Xu, Zongyuang Yang - 2003
29 An Analyzable Annotation Language – Sarfraz Khurshid , Darko Marinov, Daniel Jackson - 2002
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
2 An incremental approach to scope-bounded checking using a . . . – Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
7 Checking Java Implementation of a Naming Architecture Using TestEra – Sarfraz Khurshid, Darko Marinov - 2001
176 Generalized Symbolic Execution for Model Checking and Testing – Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser - 2003