Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781595937346

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Statistical debugging using compound boolean predicates

Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 ◽

10.1145/1273463.1273467 ◽

2007 ◽

Cited By ~ 30

Author(s):

Piramanayagam Arumuga Nainar ◽

Ting Chen ◽

Jake Rosin ◽

Ben Liblit

Download Full-text

Using portfolio theory for better and more consistent quality

Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 ◽

10.1145/1273463.1273479 ◽

2007 ◽

Cited By ~ 1

Author(s):

Ken Koster

Keyword(s):

Portfolio Theory

Download Full-text

Blended analysis for performance understanding of framework-based applications

Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 ◽

10.1145/1273463.1273480 ◽

2007 ◽

Cited By ~ 45

Author(s):

Bruno Dufour ◽

Barbara G. Ryder ◽

Gary Sevitsky

Download Full-text

Pareto efficient multi-objective test case selection

Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 ◽

10.1145/1273463.1273483 ◽

2007 ◽

Cited By ~ 155

Author(s):

Shin Yoo ◽

Mark Harman

Keyword(s):

Objective Test ◽

Test Case ◽

Test Case Selection ◽

Multi Objective ◽

Case Selection ◽

Pareto Efficient

Download Full-text

Interface grammars for modular software model checking

Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 ◽

10.1145/1273463.1273471 ◽

2007 ◽

Cited By ~ 3

Author(s):

Graham Hughes ◽

Tevfik Bultan

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Modular Software ◽

Software Model

Download Full-text

Interaction testing of highly-configurable systems in the presence of constraints

Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 ◽

10.1145/1273463.1273482 ◽

2007 ◽

Cited By ~ 108

Author(s):

Myra B. Cohen ◽

Matthew B. Dwyer ◽

Jiangfan Shi

Keyword(s):

Interaction Testing ◽

Configurable Systems

Download Full-text

A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation

Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 ◽

10.1145/1273463.1273475 ◽

2007 ◽

Cited By ~ 34

Author(s):

Mark Harman ◽

Phil McMinn

Keyword(s):

Test Data ◽

Hill Climbing ◽

Test Data Generation ◽

Data Generation ◽

Evolutionary Testing ◽

Structural Test

Download Full-text

Dytan

Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 ◽

10.1145/1273463.1273490 ◽

2007 ◽

Cited By ~ 214

Author(s):

James Clause ◽

Wanchun Li ◽

Alessandro Orso

Download Full-text

Heuristic ranking of java program edits for fault localization

Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 ◽

10.1145/1273463.1273495 ◽

2007 ◽

Cited By ~ 10

Author(s):

Xiaoxia Ren ◽

Barbara G. Ryder

Keyword(s):

Fault Localization ◽

Java Program

Download Full-text

Delta execution for efficient state-space exploration of object-oriented programs

Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 ◽

10.1145/1273463.1273472 ◽

2007 ◽

Cited By ~ 10

Author(s):

Marcelo d'Amorim ◽

Steven Lauterburg ◽

Darko Marinov

Keyword(s):

State Space ◽

Space Exploration ◽

Object Oriented ◽

State Space Exploration

Download Full-text

Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Statistical debugging using compound boolean predicates

Using portfolio theory for better and more consistent quality

Blended analysis for performance understanding of framework-based applications

Pareto efficient multi-objective test case selection

Interface grammars for modular software model checking

Interaction testing of highly-configurable systems in the presence of constraints

A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation

Dytan

Heuristic ranking of java program edits for fault localization

Delta execution for efficient state-space exploration of object-oriented programs

Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07
Latest Publications