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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581138202

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 19

Author(s):

Atanas Rountev ◽

Scott Kagan ◽

Michael Gibas

Keyword(s):

Dynamic Analysis ◽

Static And Dynamic Analysis

Download Full-text

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 ◽

Cited By ~ 3

Author(s):

Jonathan Edwards ◽

Daniel Jackson ◽

Emina Torlak ◽

Vincent Yeung

Keyword(s):

Constraint Solving

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 ◽

Cited By ~ 10

Author(s):

Sebastian Elbaum ◽

Madeline Hardojo

Keyword(s):

Empirical Study

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 ◽

Cited By ~ 24

Author(s):

A. Hartman ◽

K. Nagin

Keyword(s):

Model Based ◽

Model Based Testing

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 ◽

Cited By ~ 26

Author(s):

Nurit Dor ◽

Stephen Adams ◽

Manuvir Das ◽

Zhe Yang

Keyword(s):

Flow Analysis ◽

Software Validation ◽

Value Flow ◽

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 ◽

Cited By ~ 85

Author(s):

Mihai Christodorescu ◽

Somesh Jha

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 ◽

Cited By ~ 25

Author(s):

Chen Fu ◽

Barbara G. Ryder ◽

Ana Milanova ◽

David Wonnacott

Keyword(s):

Web Services

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 17

Author(s):

Cemal Yilmaz ◽

Myra B. Cohen ◽

Adam Porter

Keyword(s):

Complex Configuration ◽

Configuration Spaces ◽

Covering Arrays ◽

Fault Characterization

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 ◽

Cited By ~ 68

Author(s):

James F. Bowring ◽

James M. Rehg ◽

Mary Jean Harrold

Keyword(s):

Active Learning ◽

Automatic Classification

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Static and dynamic analysis of call chains in java

Faster constraint solving with subtypes

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

The AGEDIS tools for model based testing

Software validation via scalable path-sensitive value flow analysis

Testing malware detectors

Testing of java web services for robustness

Slicing tools for synchronous reactive programs

Covering arrays for efficient fault characterization in complex configuration spaces

Active learning for automatic classification of software behavior

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