| 2007 | ||
|---|---|---|
| 5 | EE | 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 | EE | Neha Rungta, Eric G. Mercer: Hardness for Explicit State Software Model Checking Benchmarks. SEFM 2007: 247-256 |
| 3 | EE | Neha Rungta, Eric G. Mercer: Generating Counter-Examples Through Randomized Guided Search. SPIN 2007: 39-57 |
| 2006 | ||
| 2 | EE | Neha Rungta, Eric G. Mercer: An Improved Distance Heuristic Function for Directed Software Model Checking. FMCAD 2006: 60-67 |
| 2005 | ||
| 1 | EE | Neha Rungta, Eric G. Mercer: A context-sensitive structural heuristic for guided search model checking. ASE 2005: 410-413 |
| 1 | Hyrum Carroll | [5] |
| 2 | Mark J. Clement | [5] |
| 3 | Eric Mercer (Eric G. Mercer) | [1] [2] [3] [4] [5] |
| 4 | Randall J. Roper | [5] |
| 5 | Quinn Snell | [5] |