| 2007 | Redundancy Based Test-Suite Reduction. | Gordon Fraser, Franz Wotawa |
| 2007 | Dynamic Characterization of Web Application Interfaces. | Marc Fisher II, Sebastian G. Elbaum, Gregg Rothermel |
| 2007 | Information Preserving Bidirectional Model Transformations. | Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer |
| 2007 | Scenario-Driven Dynamic Analysis of Distributed Architectures. | George Edwards, Sam Malek, Nenad Medvidovic |
| 2007 | Practical Reasoning About Invocations and Implementations of Pure Methods. | dm Darvas, K. Rustan M. Leino |
| 2007 | Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. | Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi |
| 2007 | Finding Environment Guarantees. | Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel |
| 2007 | Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. | Lilian Burdy, Marieke Huisman, Mariela Pavlova |
| 2007 | Software Product Families: Towards Compositionality. | Jan Bosch |
| 2007 | Correlation Patterns in Service-Oriented Architectures. | Alistair Barros, Gero Decker, Marlon Dumas, Franz Weber |
| 2007 | Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types. | Markus Bach, Florian Forster, Friedrich Steimann |
| 2006 | The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts. | Bernd Westphal, Tobe Toben |
| 2006 | A Software Implementation Progress Model. | Dwayne Towell, Jason Denton |
| 2006 | A Graph-Based Approach to Transform XML Documents. | Gabriele Taentzer, Giovanni Toffetti Carughi |
| 2006 | A Behavioral Model for Software Containers. | Nigamanth Sridhar, Jason O. Hallstrom |
| 2006 | Automated Systematic Testing of Open Distributed Programs. | Koushik Sen, Gul Agha |
| 2006 | Evaluation of Expected Software Quality: A Customer's Viewpoint. | Krzysztof Sacha |
| 2006 | The Pervasiveness of Global Data in Evolving Software Systems. | Fraser P. Ruffell, Jason W. A. Selby |
| 2006 | Using Design Metrics for Predicting System Flexibility. | Robby, Scott A. DeLoach, Valeriy A. Kolesnikov |
| 2006 | Trace-Based Memory Aliasing Across Program Versions. | Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama |
| 2006 | LearnLib: A Library for Automata Learning and Experimentation. | Harald Raffelt, Bernhard Steffen |
| 2006 | Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. | Peter Csaba lveczky, Marco Caccamo |
| 2006 | A Technique to Represent and Generate Components in MDA/PIM for Automation. | Hyun Gi Min, Soo Dong Kim |
| 2006 | Concerned About Separation. | Hafedh Mili, Houari A. Sahraoui, Hakim Lounis, Hamid Mcheick, Amal Elkharraz |
| 2006 | Combining Problem Frames and UML in the Description of Software Requirements. | Luigi Lavazza, Vieri Del Bianco |