|
237
|
Korat: Automated testing based on Java predicates
– Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov
- 2002
|
|
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
|
|
7
|
Checking Java Implementation of a Naming Architecture Using TestEra
– Sarfraz Khurshid, Darko Marinov
- 2001
|
|
27
|
An evaluation of exhaustive testing for data structures
– Darko Marinov, Alexandr Andoni, Dumitru Daniliuc, Sarfraz Khurshid, Martin Rinard
- 2003
|
|
18
|
Efficient Software Model Checking of Data Structure Properties
– Paul Darga , Chandrasekhar Boyapati
- 2006
|
|
1
|
Correcting a Naming Architecture Using Lightweight Constraint Analysis
– Sarfraz Khurshid, Daniel Jackson
- 2001
|
|
111
|
Test Input Generation with Java PathFinder
– Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
|
|
26
|
An Analyzable Annotation Language
– Sarfraz Khurshid , Darko Marinov, Daniel Jackson
- 2002
|
|
|
An incremental approach to scope-bounded checking using a . . .
– Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
|
|
15
|
Modular Verification of Code with SAT
– Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson
- 2006
|
|
4
|
Evaluating the ”Small Scope Hypothesis
– Alexandr Andoni, Dumitru Daniliuc, Sarfraz Khurshid
- 2003
|
|
16
|
Relational analysis of algebraic datatypes
– Viktor Kuncak, Daniel Jackson
- 2005
|
|
5
|
VAlloy: Virtual functions meet a relational language
– Darko Marinov, Sarfraz Khurshid
- 2002
|
|
8
|
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
|
|
|
S.M. Computer Science
– Massachusetts Institute Of, Mandana Vaziri-farahani, Daniel N. Jackson, Arthur C. Smith, Mandana Vaziri-farahani
- 2004
|
|
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
|
