The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 05 - Sept.-Oct. (vol. 34)
ISSN: 0098-5589
SPECIAL SECTION on the International Symposium on Software Testing and Analysis

Discovering Neglected Conditions in Software by Mining Dependence Graphs (Abstract)

Jiong Yang , Case Western Reserve University, Cleveland
Andy Podgurski , Case Western Reserve University, Cleveland
Ray-Yaung Chang , Case Western Reserve University, Cleveland
pp. 579-596

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs (Abstract)

Steven Lauterburg , University of Illinois at Urbana-Champaign, Urbana
Darko Marinov , University of Illinois at Urbana-Champaign, Urbana
Marcelo d'Amorim , University of Illinois at Urbana-Champaign, Urbana
pp. 597-613

Interface Grammars for Modular Software Model Checking (Abstract)

Graham Hughes , University of California, Santa Barbara, Santa Barbara
Tevfik Bultan , University of California, Santa Barbara, Santa Barbara
pp. 614-632

Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach (Abstract)

Jiangfan Shi , University of Nebraska-Lincoln, Lincoln
Matthew B. Dwyer , University of Nebraska-Lincoln, Lincoln
Myra B. Cohen , University of Nebraska-Lincoln, Lincoln
pp. 633-650

Static Specification Mining Using Automata-Based Abstractions (Abstract)

Sharon Shoham , Technion, Haifa
Marco Pistoia , IBM Research, Hawthorne
Stephen J. Fink , IBM Research, Hawthorne
Eran Yahav , IBM Research, Hawthorne
pp. 651-666
Regular Papers

DeMIMA: A Multilayered Approach for Design Pattern Identification (Abstract)

Giuliano Antoniol , Ecole Polytechnique de Montreal, Montreal
Yann-Gaël Guéhéneuc , University Montreal, Montreal
pp. 667-684

Goal-Centric Traceability: Using Virtual Plumblines to Maintain Critical Systemic Qualities (Abstract)

Jane Cleland-Huang , DePaul University, Chicago
Brian Berenbach , Siemens Corporate Research, Inc., Princeton
Will Marrero , DePaul University, Chicago
pp. 685-699

Metrics for Measuring the Quality of Modularization of Large-Scale Object-Oriented Software (Abstract)

Girish Maskeri Rama , Infosys Technologies Ltd, Bangalore
Avinash C. Kak , Purdue University, West Lafayette
Santonu Sarkar , Infosys Technologies Ltd, Bangalore
pp. 700-720
106 ms
(Ver )