| 2000 | Improving the precision of INCA by preventing spurious cycles. | Stephen F. Siegel, George S. Avrunin |
| 2000 | A thread-aware debugger with an open interface. | Daniel Schulz, Frank Mueller |
| 2000 | Black-box test reduction using input-output analysis. | Patrick J. Schroeder, Bogdan Korel |
| 2000 | Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (abstract only). | Jonathan D. Pincus |
| 2000 | Requirements-based monitors for real-time systems. | Dennis K. Peters, David Lorge Parnas |
| 2000 | Slicing concurrent programs. | Mangala Gowri Nanda, S. Ramesh |
| 2000 | Putting static analysis to work for verification: A case study. | Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
| 2000 | Classification schemes to aid in the analysis of real-time systems. | Paul Z. Kolano, Richard A. Kemmerer |
| 2000 | Finding bugs with a constraint solver. | Daniel Jackson, Mandana Vaziri |
| 2000 | Which pointer analysis should I use? | Michael Hind, Anthony Pioli |
| 2000 | Simplifying failure-inducing input. | Ralf Hildebrandt, Andreas Zeller |
| 2000 | UML-Based integration testing. | Jean Hartmann, Claudio Imoberdorf, Michael Meisinger |
| 2000 | On subdomains: Testing, profiles, and components. | Richard G. Hamlet |
| 2000 | Comparison of delivered reliability of branch, data flow and operational testing: A case study. | Phyllis G. Frankl, Yuetang Deng |
| 2000 | Prioritizing test cases for regression testing. | Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel |
| 2000 | Model checking Java programs (abstract only). | David L. Dill |
| 2000 | Verifying properties of process definitions. | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil |
| 2000 | Finite state verification: An emerging technology for validating software systems (abstract only). | Lori A. Clarke |
| 2000 | A framework for testing database applications. | David Chays, Saikat Dan, Phyllis G. Frankl, Filippos I. Vokolos, Elaine J. Weber |
| 2000 | Automated Testing of Classes. | Ugo A. Buy, Alessandro Orso, Mauro Pezz |
| 2000 | Verisim: Formal analysis of network simulations. | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan |
| 1998 | All-du-path Coverage for Parallel Programs. | Cheer-Sun D. Yang, Amie L. Souter, Lori L. Pollock |
| 1998 | Automated Program Flaw Finding Using Simulated Annealing. | Nigel J. Tracey, John A. Clark, Keith Mander |
| 1998 | Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. | Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang |
| 1998 | A Visual Test Development Environment for GUI Systems. | Thomas J. Ostrand, Aaron Anodide, Herbert Foster, Tarak Goradia |