| 2008 | Precise Analysis of Java Programs Using JOANA. | Dennis Giffhorn, Christian Hammer |
| 2008 | Change Impact Graphs: Determining the Impact of Prior Code Changes. | Daniel M. Germn, Gregorio Robles, Ahmed E. Hassan |
| 2008 | Some Assembly Required - Program Analysis of Embedded System Code. | Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried |
| 2008 | Beyond Annotations: A Proposal for Extensible Java (XJ). | Tony Clark, Paul Sammut, James S. Willans |
| 2008 | Parfait - A Scalable Bug Checker for C Code. | Cristina Cifuentes |
| 2008 | Automated Migration of List Based JSP Web Pages to AJAX. | Jason Chu, Thomas R. Dean |
| 2008 | Using Program Transformations to Add Structure to a Legacy Data Model. | Mariano Ceccato, Thomas Roy Dean, Paolo Tonella |
| 2008 | On the Use of Data Flow Analysis in Static Profiling. | Cathal Boogerd, Leon Moonen |
| 2008 | Evaluating Key Statements Analysis. | David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi |
| 2008 | 90% Perspiration: Engineering Static Analysis Techniques for Industrial Applications. | Paul Anderson |
| 2007 | Improved Static Resolution of Dynamic Class Loading in Java. | Jason Sawin, Atanas Rountev |
| 2007 | SQuAVisiT: A Software Quality Assessment and Visualisation Toolset. | Serguei A. Roubtsov, Alexandru C. Telea, Danny Holten |
| 2007 | An Empirical Study of the Relationship of Stability Metrics and the QMOOD Quality Models Over Software Developed Using Highly Iterative or Agile Software Processes. | Patricia L. Roden, Shamsnaz Virani, Letha H. Etzkorn, Sherri L. Messimer |
| 2007 | Finding Inputs that Reach a Target Expression. | Matthew Naylor, Colin Runciman |
| 2007 | Keynote Address: .QL for Source Code Analysis. | Oege de Moor, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjrn Ekman, Neil Ongkingco, Damien Sereni, Julian Tibble |
| 2007 | Fast Approximate Matching of Programs for Protecting Libre/Open Source Software by Using Spatial Indexes. | Arnoldo Jos Mller Molina, Takeshi Shinohara |
| 2007 | An Integrated Crosscutting Concern Migration Strategy and its Application to JHOTDRAW. | Marius Marin, Leon Moonen, Arie van Deursen |
| 2007 | DATES: Design Analysis Tool for Enterprise Systems. | Cristina Marinescu |
| 2007 | Extending Attribute Grammars with Collection Attributes--Evaluation and Applications. | Eva Magnusson, Torbjrn Ekman, Grel Hedin |
| 2007 | On Temporal Path Conditions in Dependence Graphs. | Andreas Lochbihler, Gregor Snelting |
| 2007 | Extracting Meaning from Abbreviated Identifiers. | Dawn J. Lawrie, Henry Feild, David W. Binkley |
| 2007 | SUDS: An Infrastructure for Creating Bug Detection Tools. | Eric Larson |
| 2007 | Statement-Level Cohesion Metrics and their Visualization. | Jens Krinke |
| 2007 | Toward an Implementation of the "Form Template Method" Refactoring. | Nicolas Juillerat, Bat Hirsbrunner |
| 2007 | Source Code Composition with the Reuseware Composition Framework. | Jendrik Johannes |