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 |