| 579 | -- | 596 | Ray-Yaung Chang, Andy Podgurski, Jiong Yang. Discovering Neglected Conditions in Software by Mining Dependence Graphs |
| 597 | -- | 613 | Marcelo d Amorim, Steven Lauterburg, Darko Marinov. Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs |
| 614 | -- | 632 | Graham Hughes, Tevfik Bultan. Interface Grammars for Modular Software Model Checking |
| 633 | -- | 650 | Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi. Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach |
| 651 | -- | 666 | Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia. Static Specification Mining Using Automata-Based Abstractions |
| 667 | -- | 684 | Yann-Gaël Guéhéneuc, Giuliano Antoniol. DeMIMA: A Multilayered Approach for Design Pattern Identification |
| 685 | -- | 699 | Jane Cleland-Huang, Will Marrero, Brian Berenbach. Goal-Centric Traceability: Using Virtual Plumblines to Maintain Critical Systemic Qualities |
| 700 | -- | 720 | Santonu Sarkar, Avinash C. Kak, Girish Maskeri Rama. Metrics for Measuring the Quality of Modularization of Large-Scale Object-Oriented Software |