| 2002 | 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK |
| 2002 | A Framework for Automatic Debugging. Mikhail Auguston, Clinton Jeffery, Scott Underwood |
| 2002 | A Model of Planning and Enactment Support in Complex Software Development Projects. Sigrid Goldmann |
| 2002 | A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. Nazareno Aguirre, T. S. E. Maibaum |
| 2002 | Adapting Applications on the Fly. Abdelmadjid Ketfi, Noureddine Belkhatir, Pierre-Yves Cunin |
| 2002 | Adding Value to Formal Test Oracles. James H. Andrews, Rui Fu, Vicky D. Liu |
| 2002 | An Approach to Rapid Prototyping of Large Multi-Agent Systems. Wamberto Weber Vasconcelos, Carles Sierra, Marc Esteva |
| 2002 | Analyzing Dependencies in Large Component-Based Systems. Marlon E. R. Vieira, Debra J. Richardson |
| 2002 | Assumption Generation for Software Component Verification. Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer |
| 2002 | Automated Validation of Class Invariants in C ++ Applications. Tanton H. Gibbs, Brian A. Malloy, James F. Power |
| 2002 | Automatic Inter-Procedural Test Case Generation. Karim-Cyril Griche |
| 2002 | Automatic Synthesis of Distributed Systems. Alin Stefanescu |
| 2002 | Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component. Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon |
| 2002 | Automatic Validation of Deployed J2EE Components Using Aspects. John C. Grundy, Guoliang Ding |
| 2002 | Automatic Verification of any Number of Concurrent, Communicating Processes. Muffy Calder, Alice Miller |
| 2002 | Automating Requirements Traceability: Beyond the Record & Replay Paradigm. Alexander Egyed, Paul Grünbacher |
| 2002 | CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. Robert J. Hall |
| 2002 | Combining and Adapting Software Quality Predictive Models by Genetic Algorithms. Danielle Azar, Doina Precup, Salah Bouktif, Balázs Kégl, Houari A. Sahraoui |
| 2002 | Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing. Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri |
| 2002 | Dependence Management for Dynamic Reconfiguration of Component-Based Distributed Systems. Xuejun Chen |
| 2002 | Deviation Analysis Through Model Checking. Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen |
| 2002 | Distributed Modular Model Checking. Jitka Crhová |
| 2002 | Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation. K. Suzanne Barber, Thomas J. Graser, Jim Holt |
| 2002 | Experience Report on Automated Procedure Construction for Deductive Synthesis. Steve Roach, Jeffrey Van Baalen |
| 2002 | From Early Requirements to User Interface Prototyping: A Methodological Approach. Alicia Martínez, Hugo Estrada, Juan Sánchez, Oscar Pastor |
| 2002 | Generating Expected Results for Automated Black-Box Testing. Patrick J. Schroeder, Pat Faherty, Bogdan Korel |
| 2002 | Generating Product-Lines of Product-Families. Don S. Batory, Roberto E. Lopez-Herrejon, Jean-Philippe Martin |
| 2002 | Generating Test Data for Functions with Pointer Inputs. Srinivas Visvanathan, Neelam Gupta |
| 2002 | Generative Design Patterns. Steve MacDonald, Duane Szafron, Jonathan Schaeffer, John Anvik, Steven Bromling, Kai Tan |
| 2002 | Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components. Marcio S. Dias, Debra J. Richardson |
| 2002 | Interfaces for Modular Feature Verification. Harry C. Li, Shriram Krishnamurthi, Kathi Fisler |
| 2002 | Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation. Thomas Ellman, Ryan Deak, Jason Fotinatos |
| 2002 | Model-Based Tests of Truisms. Tim Menzies, David Raffo, Siri-on Setamanit, Ying Hu, Sina Tootoonia |
| 2002 | No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs. Yann-Gaël Guéhéneuc, Rémi Douence, Narendra Jussien |
| 2002 | On CASE Tool Usage at Nokia. Alessandro Maccari, Claudio Riva, Francesco Maccari |
| 2002 | Predicting Software Stability Using Case-Based Reasoning. David Grosser, Houari A. Sahraoui, Petko Valtchev |
| 2002 | Process Support for Tools Interoperability. Anh-Tuyet Le |
| 2002 | Report on the Workshop on the State of the Art in Automated Software Engineering. Yves Ledru, David F. Redmiles |
| 2002 | SeDiTeC - Testing Based on Sequence Diagrams. Falk Fraikin, Thomas Leonhardt |
| 2002 | Semantic Links and Co-Evolution in Object-Oriented Software Development. Ragnhild Van Der Straeten |
| 2002 | System Testing for Object-Oriented Frameworks Using Hook Technology. Jehad Al-Dallal, Paul G. Sorenson |
| 2002 | Systematic Bridging the Gap between Requirements and OO Design. Hee Beng Kuan Tan, Weihong Li |
| 2002 | Towards Certifying Domain-Specific Properties of Synthesized Code. Grigore Rosu, Jon Whittle |
| 2002 | Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. Karsten Loer, Michael D. Harrison |
| 2002 | VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró |
| 2002 | What Makes Finite-State Models More (or Less) Testable? David Owen, Tim Menzies, Bojan Cukic |