| 2002 | Automatic generation of program specifications. | Jeremy W. Nimmer, Michael D. Ernst |
| 2002 | A conservative algorithm for computing the flow of permissions in Java programs. | Gleb Naumovich |
| 2002 | Experiences in automating the testing of SS7 signalling transfer points. | Tim Moors, Malathi Veeraraghavan, Zhifeng Tao, Xuan Zheng, Ramesh Badri |
| 2002 | Parameterized object sensitivity for points-to and side-effect analyses for Java. | Ana L. Milanova, Atanas Rountev, Barbara G. Ryder |
| 2002 | Evaluating the precision of static reference analysis using profiling. | Donglin Liang, Maikel Pennings, Mary Jean Harrold |
| 2002 | On testing and conformance relations for UML statechart diagrams behaviours. | Diego Latella, Mieke Massink |
| 2002 | PROPANE: an environment for examining the propagation of errors in software. | Martin Hiller, Arshad Jhumka, Neeraj Suri |
| 2002 | Is ISSTA research relevant to industry? | Alan Hartman |
| 2002 | Continuity in sofware systems. | Dick Hamlet |
| 2002 | Model checking Java programs using structural heuristics. | Alex Groce, Willem Visser |
| 2002 | Generating finite state machines from abstract state machines. | Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
| 2002 | Projected state machine coverage for software testing. | G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran |
| 2002 | Is ISSTA research relevant to industrial users? panel - ISSTA 2002: empowering the developer to be a tester too! | Vincent Encontre |
| 2002 | Isolating failure-inducing thread schedules. | Jong-Deok Choi, Andreas Zeller |
| 2002 | Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. | Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou |
| 2002 | Refactoring design models for inductive verification. | Yung-Pin Cheng |
| 2002 | Conformance test experiments for distributed real-time systems. | Rachel Cardell-Oliver |
| 2002 | Investigating the use of analysis contracts to support fault isolation in object oriented code. | Lionel C. Briand, Yvan Labiche, Hong Sun |
| 2002 | Korat: automated testing based on Java predicates. | Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov |
| 2002 | Rescaling reliability bounds for a new operational profile. | Peter G. Bishop |
| 2002 | ISSTA 2002 panel: is ISSTA research relevant to industrial users? | Antonia Bertolino |
| 2000 | Testability, fault size and the domain-to-range ratio: An eternal triangle. | Martin R. Woodward, Zuhoor A. Al-Khanjari |
| 2000 | Progress in testing component-based software (abstract only). | Craig H. Wittenberg |
| 2000 | jRapture: A Capture/Replay tool for observation-based testing. | John Steven, Pravir Chandra, Bob Fleck, Andy Podgurski |
| 2000 | OMEN: A strategy for testing object-oriented software. | Amie L. Souter, Lori L. Pollock |