 | 2009 |
|---|
| 8 |       | Neha Rungta,
Eric G. Mercer:
Guided model checking for programs with polymorphism.
PEPM 2009: 21-30 |
| 7 | | Neha Rungta,
Eric G. Mercer,
Willem Visser:
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.
SPIN 2009: 174-191 |
| 2008 |
|---|
| 6 | | Neha Rungta,
Eric G. Mercer:
A Meta Heuristic for Effectively Detecting Concurrency Errors.
Haifa Verification Conference 2008: 23-37 |
| 2007 |
|---|
| 5 | | Neha Rungta,
Hyrum Carroll,
Eric G. Mercer,
Randall J. Roper,
Mark J. Clement,
Quinn Snell:
Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs.
FMCAD 2007: 216-219 |
| 4 | | Neha Rungta,
Eric G. Mercer:
Hardness for Explicit State Software Model Checking Benchmarks.
SEFM 2007: 247-256 |
| 3 | | Neha Rungta,
Eric G. Mercer:
Generating Counter-Examples Through Randomized Guided Search.
SPIN 2007: 39-57 |
| 2006 |
|---|
| 2 | | Neha Rungta,
Eric G. Mercer:
An Improved Distance Heuristic Function for Directed Software Model Checking.
FMCAD 2006: 60-67 |
| 2005 |
|---|
| 1 | | Neha Rungta,
Eric G. Mercer:
A context-sensitive structural heuristic for guided search model checking.
ASE 2005: 410-413 |
