| 2009 | Concepts as Syntactic Sugar. | Valentin David, Magne Haveraaen |
| 2009 | A Value Analysis for C Programs. | Graud Canet, Pascal Cuoq, Benjamin Monate |
| 2009 | Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters. | David W. Binkley, Mark Harman |
| 2009 | Static Estimation of Test Coverage. | Tiago L. Alves, Joost Visser |
| 2009 | A Metric Extraction Framework Based on a High-Level Description Language. | El Hachemi Alikacem, Houari A. Sahraoui |
| 2009 | Engineering Abstractions in Model Checking and Testing. | Michael Achenbach, Klaus Ostermann |
| 2008 | The Semantics of Abstract Program Slicing. | Damiano Zanardini |
| 2008 | DTS - A Software Defects Testing System. | Zhaohong Yang, Yunzhan Gong, Qing Xiao, Yawen Wang |
| 2008 | Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking. | Lei Wang, Qiang Zhang, PengChao Zhao |
| 2008 | An Empirical Study of Function Overloading in C++. | Cheng Wang, Daqing Hou |
| 2008 | Aspect-Aware Points-to Analysis. | Qiang Sun, Jianjun Zhao |
| 2008 | Automatic Determination of May/Must Set Usage in Data-Flow Analysis. | Andrew Stone, Michelle Strout, Shweta Behere |
| 2008 | Exploiting the Correspondence between Micro Patterns and Class Names. | Jeremy Singer, Chris C. Kirkham |
| 2008 | User-Input Dependence Analysis via Graph Reachability. | Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes |
| 2008 | CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. | Nuno F. Rodrigues, Lus Soares Barbosa |
| 2008 | The Evolution and Decay of Statically Detected Source Code Vulnerabilities. | Massimiliano Di Penta, Luigi Cerulo, Lerina Aversano |
| 2008 | Type Highlighting: A Client-Driven Visual Approach for Class Hierarchies Reengineering. | Petru Florin Mihancea |
| 2008 | Fast and Precise Points-to Analysis. | Jonas Lundberg, Tobias Gutzmann, Welf Lwe |
| 2008 | Is Cloned Code More Stable than Non-cloned Code? | Jens Krinke |
| 2008 | Rejuvenate Pointcut: A Tool for Pointcut Expression Recovery in Evolving Aspect-Oriented Software. | Raffi Khatchadourian, Awais Rashid |
| 2008 | Constructing Subtle Faults Using Higher Order Mutation Testing. | Yue Jia, Mark Harman |
| 2008 | From Indentation Shapes to Code Structures. | Abram Hindle, Michael W. Godfrey, Richard C. Holt |
| 2008 | Analysis and Transformations for Efficient Query-Based Debugging. | Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu |
| 2008 | TBCppA: A Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors. | Katsuhiko Gondow, Hayato Kawashima, Takashi Imaizumi |
| 2008 | Modular Decompilation of Low-Level Code by Partial Evaluation. | Miguel Gmez-Zamalloa, Elvira Albert, Germn Puebla |