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
21 Efficient Software Model Checking of Data Structure Properties – Paul Darga , Chandrasekhar Boyapati - 2006
93 TestEra: A Novel Framework for Automated Testing of Java Programs – Darko Marinov, Sarfraz Khurshid - 2001
16 Repairing Structurally Complex Data – Sarfraz Khurshid, Iván García, Yuk Lai Suen - 2005
474 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
Categories and Subject Descriptors D.2.4 [Software Engineering]: Program Verification D.2.5 [Software Engineering]: Testing and Debugging F.3.1 [Logics]: Specifying and Verifying Programs – unknown authors