Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

16

(FIVE YEARS 0)

Published By ACM Press

1581138202

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Faster constraint solving with subtypes

Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 ◽

10.1145/1007512.1007544 ◽

2004 ◽

Author(s):

Jonathan Edwards ◽

Daniel Jackson ◽

Emina Torlak ◽

Vincent Yeung

Keyword(s):

Constraint Solving

Download Full-text

Static and dynamic analysis of call chains in java

Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 ◽

10.1145/1007512.1007514 ◽

2004 ◽

Author(s):

Atanas Rountev ◽

Scott Kagan ◽

Michael Gibas

Keyword(s):

Dynamic Analysis ◽

Static And Dynamic Analysis

Download Full-text

An empirical study of profiling strategies for released software and their impact on testing activities

Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 ◽

10.1145/1007512.1007522 ◽

2004 ◽

Author(s):

Sebastian Elbaum ◽

Madeline Hardojo

Keyword(s):

Empirical Study

Download Full-text

Software validation via scalable path-sensitive value flow analysis

Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 ◽

10.1145/1007512.1007515 ◽

2004 ◽

Author(s):

Nurit Dor ◽

Stephen Adams ◽

Manuvir Das ◽

Zhe Yang

Keyword(s):

Flow Analysis ◽

Software Validation ◽

Value Flow Analysis

Download Full-text

Testing malware detectors

Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 ◽

10.1145/1007512.1007518 ◽

2004 ◽

Author(s):

Mihai Christodorescu ◽

Somesh Jha

Download Full-text

The AGEDIS tools for model based testing

Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 ◽

10.1145/1007512.1007529 ◽

2004 ◽

Author(s):

A. Hartman ◽

K. Nagin

Keyword(s):

Model Based ◽

Model Based Testing

Download Full-text

Active learning for automatic classification of software behavior

Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 ◽

10.1145/1007512.1007539 ◽

2004 ◽

Author(s):

James F. Bowring ◽

James M. Rehg ◽

Mary Jean Harrold

Keyword(s):

Active Learning ◽

Automatic Classification

Download Full-text

Testing of java web services for robustness

Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 ◽

10.1145/1007512.1007516 ◽

2004 ◽

Author(s):

Chen Fu ◽

Barbara G. Ryder ◽

Ana Milanova ◽

David Wonnacott

Keyword(s):

Download Full-text

Slicing tools for synchronous reactive programs

Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 ◽

10.1145/1007512.1007541 ◽

2004 ◽

Author(s):

S. Ramesh ◽

A. Kulkarni ◽

V. Kamat

Keyword(s):

Reactive Programs

Download Full-text

Covering arrays for efficient fault characterization in complex configuration spaces

Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 ◽

10.1145/1007512.1007519 ◽

2004 ◽

Author(s):

Cemal Yilmaz ◽

Myra B. Cohen ◽

Adam Porter

Keyword(s):

Complex Configuration ◽

Configuration Spaces ◽

Covering Arrays ◽

Fault Characterization

Download Full-text