Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897917871

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards a structural load testing tool

Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 ◽

10.1145/229000.226318 ◽

1996 ◽

Cited By ~ 5

Author(s):

Cheer-Sun D. Yang ◽

Lori L. Pollock

Keyword(s):

Load Testing ◽

Testing Tool

Download Full-text

Improving the accuracy of Petri net-based analysis of concurrent programs

Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 ◽

10.1145/229000.226299 ◽

1996 ◽

Cited By ~ 6

Author(s):

A. T. Chamillard ◽

Lori A. Clarke

Keyword(s):

Petri Net ◽

Concurrent Programs

Download Full-text

Test and analysis of software architectures

Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 ◽

10.1145/229000.226296 ◽

1996 ◽

Cited By ~ 2

Author(s):

Will Tracz

Keyword(s):

Software Architectures

Download Full-text

The path-wise approach to data flow testing with pointer variables

Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 ◽

10.1145/229000.226311 ◽

1996 ◽

Cited By ~ 1

Author(s):

Delia I. S. Marx ◽

Phyllis G. Frankl

Keyword(s):

Data Flow ◽

Data Flow Testing

Download Full-text

Using perturbation analysis to measure variation in the information content of test sets

Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 ◽

10.1145/229000.226306 ◽

1996 ◽

Cited By ~ 3

Author(s):

Larry Morell ◽

Branson Murrill

Keyword(s):

Information Content ◽

Perturbation Analysis ◽

Test Sets

Download Full-text

Critical slicing for software fault localization

Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 ◽

10.1145/229000.226310 ◽

1996 ◽

Cited By ~ 40

Author(s):

Richard A. DeMillo ◽

Hsin Pan ◽

Eugene H. Spafford

Keyword(s):

Fault Localization ◽

Software Fault

Download Full-text

Automated test data generation for programs with procedures

Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 ◽

10.1145/229000.226319 ◽

1996 ◽

Cited By ~ 52

Author(s):

Bogdan Korel

Keyword(s):

Test Data ◽

Test Data Generation ◽

Data Generation ◽

Automated Test ◽

Automated Test Data Generation

Download Full-text

Issues in the full scale use of formal methods for automated testing

Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 ◽

10.1145/229000.226303 ◽

1996 ◽

Author(s):

J. L. Crowley ◽

J. F. Leathrum ◽

K. A. Liburdy

Keyword(s):

Formal Methods ◽

Full Scale ◽

Automated Testing

Download Full-text

Generation of multi-formalism state-space analysis tools

Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 ◽

10.1145/229000.226314 ◽

1996 ◽

Cited By ~ 2

Author(s):

Mauro Pezzè ◽

Michal Young

Keyword(s):

State Space ◽

Space Analysis ◽

State Space Analysis ◽

Analysis Tools

Download Full-text

Predicting dependability by testing

Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 ◽

10.1145/229000.226305 ◽

1996 ◽

Cited By ~ 6

Author(s):

Dick Hamlet

Download Full-text

Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Towards a structural load testing tool

Improving the accuracy of Petri net-based analysis of concurrent programs

Test and analysis of software architectures

The path-wise approach to data flow testing with pointer variables

Using perturbation analysis to measure variation in the information content of test sets

Critical slicing for software fault localization

Automated test data generation for programs with procedures

Issues in the full scale use of formal methods for automated testing

Generation of multi-formalism state-space analysis tools

Predicting dependability by testing

Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96
Latest Publications