Table of Contents

Front Covers

Cover1

Cover2

SPECIAL SECTION on the International Symposium on Software Testing and Analysis

Guest Editors' Introduction: International Symposium on Software Testing and Analysis
Sebastian Elbaum, David S. Rosenblum

Discovering Neglected Conditions in Software by Mining Dependence Graphs
Ray-Yaung Chang, Andy Podgurski, Jiong Yang

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov

Interface Grammars for Modular Software Model Checking
Graham Hughes, Tevfik Bultan

Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach
Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi

Static Specification Mining Using Automata-Based Abstractions
Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia

Regular Papers

DeMIMA: A Multilayered Approach for Design Pattern Identification
Yann-Gaël Guéhéneuc, Giuliano Antoniol

Goal-Centric Traceability: Using Virtual Plumblines to Maintain Critical Systemic Qualities
Jane Cleland-Huang, Will Marrero, Brian Berenbach

Metrics for Measuring the Quality of Modularization of Large-Scale Object-Oriented Software
Santonu Sarkar, Avinash C. Kak, Girish Maskeri Rama

Back Covers

Cover3

Cover4