| 2002 | A conservative algorithm for computing the flow of permissions in Java programs. Gleb Naumovich |
| 2002 | Automatic extraction of object-oriented component interfaces. John Whaley, Michael C. Martin, Monica S. Lam |
| 2002 | Automatic generation of program specifications. Jeremy W. Nimmer, Michael D. Ernst |
| 2002 | Conformance test experiments for distributed real-time systems. Rachel Cardell-Oliver |
| 2002 | Continuity in sofware systems. Dick Hamlet |
| 2002 | Dependence analysis in reduction of requirement based test suites. Boris Vaysburg, Luay Ho Tahat, Bogdan Korel |
| 2002 | Domain partitioning for open reactive systems. Scott D. Stoller |
| 2002 | Effectively prioritizing tests in development environment. Amitabh Srivastava, Jay Thiagarajan |
| 2002 | Efficient instrumentation for code coverage testing. Mustafa M. Tikir, Jeffrey K. Hollingsworth |
| 2002 | Ericsson lab Italy: is ISSTA research relevant to industrial users? Emilia Peciola |
| 2002 | Evaluating the precision of static reference analysis using profiling. Donglin Liang, Maikel Pennings, Mary Jean Harrold |
| 2002 | Experiences in automating the testing of SS7 signalling transfer points. Tim Moors, Malathi Veeraraghavan, Zhifeng Tao, Xuan Zheng, Ramesh Badri |
| 2002 | Gamma system: continuous evolution of software after deployment. Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J. Lipton |
| 2002 | Generating finite state machines from abstract state machines. Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
| 2002 | ISSTA 2002 panel: is ISSTA research relevant to industrial users? Antonia Bertolino |
| 2002 | Investigating the use of analysis contracts to support fault isolation in object oriented code. Lionel C. Briand, Yvan Labiche, Hong Sun |
| 2002 | Is ISSTA research relevant to industrial users? panel - ISSTA 2002: empowering the developer to be a tester too! Vincent Encontre |
| 2002 | Is ISSTA research relevant to industry? Alan Hartman |
| 2002 | Isolating failure-inducing thread schedules. Jong-Deok Choi, Andreas Zeller |
| 2002 | Korat: automated testing based on Java predicates. Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov |
| 2002 | Model checking Java programs using structural heuristics. Alex Groce, Willem Visser |
| 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 | Panel discussion: is ISSTA testing research relevant to industrial users? Ashok Sreenivas |
| 2002 | Parameterized object sensitivity for points-to and side-effect analyses for Java. Ana L. Milanova, Atanas Rountev, Barbara G. Ryder |
| 2002 | Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002 Phyllis G. Frankl |
| 2002 | Projected state machine coverage for software testing. G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran |
| 2002 | Refactoring design models for inductive verification. Yung-Pin Cheng |
| 2002 | Rescaling reliability bounds for a new operational profile. Peter G. Bishop |
| 2002 | Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou |
| 2002 | Specification, verification, and synthesis of concurrency control components. Tuba Yavuz-Kahveci, Tevfik Bultan |
| 2002 | The distirubtion of faults in a large industrial software system. Thomas J. Ostrand, Elaine J. Weyuker |