| 2004 | Automated black-box testing of functional correctness using function approximation. | Karl Meinke |
| 2004 | Improving the adaptability of multi-mode systems via program steering. | Lee Lin, Michael D. Ernst |
| 2004 | Verifying process models built using parameterized state machines. | Barbara Staudt Lerner |
| 2004 | The AGEDIS tools for model based testing. | Alan Hartman, Kenneth Nagin |
| 2004 | Testing of java web services for robustness. | Chen Fu, Barbara G. Ryder, Ana L. Milanova, David Wonnacott |
| 2004 | Model checking XML manipulating software. | Xiang Fu, Tevfik Bultan, Jianwen Su |
| 2004 | Exploiting purity for atomicity. | Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
| 2004 | An optimizing compiler for batches of temporal logic formulas. | James R. Ezick |
| 2004 | An empirical study of profiling strategies for released software and their impact on testing activities. | Sebastian G. Elbaum, Madeline Hardojo |
| 2004 | Faster constraint solving with subtypes. | Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung |
| 2004 | Software validation via scalable path-sensitive value flow analysis. | Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang |
| 2004 | Automating commutativity analysis at the design level. | Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson |
| 2004 | Testing malware detectors. | Mihai Christodorescu, Somesh Jha |
| 2004 | Active learning for automatic classification of software behavior. | James F. Bowring, James M. Rehg, Mary Jean Harrold |
| 2004 | Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. | Andr Baresel, David W. Binkley, Mark Harman, Bogdan Korel |
| 2002 | Specification, verification, and synthesis of concurrency control components. | Tuba Yavuz-Kahveci, Tevfik Bultan |
| 2002 | Automatic extraction of object-oriented component interfaces. | John Whaley, Michael C. Martin, Monica S. Lam |
| 2002 | Dependence analysis in reduction of requirement based test suites. | Boris Vaysburg, Luay Ho Tahat, Bogdan Korel |
| 2002 | Efficient instrumentation for code coverage testing. | Mustafa M. Tikir, Jeffrey K. Hollingsworth |
| 2002 | Domain partitioning for open reactive systems. | Scott D. Stoller |
| 2002 | Effectively prioritizing tests in development environment. | Amitabh Srivastava, Jay Thiagarajan |
| 2002 | Panel discussion: is ISSTA testing research relevant to industrial users? | Ashok Sreenivas |
| 2002 | Ericsson lab Italy: is ISSTA research relevant to industrial users? | Emilia Peciola |
| 2002 | The distirubtion of faults in a large industrial software system. | Thomas J. Ostrand, Elaine J. Weyuker |
| 2002 | Gamma system: continuous evolution of software after deployment. | Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J. Lipton |