Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897916832

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Views on software testability (panel)

Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 ◽

10.1145/186258.187250 ◽

1994 ◽

Author(s):

Timothy Shimeall ◽

Michael Friedman ◽

John Chilenski ◽

Jeffrey Voas

Download Full-text

Aslantest: a symbolic execution tool for testing Aslan formal specifications

Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 ◽

10.1145/186258.186487 ◽

1994 ◽

Cited By ~ 8

Author(s):

Jeffrey Douglas ◽

Richard A. Kemmerer

Keyword(s):

Symbolic Execution ◽

Formal Specifications

Download Full-text

Visualization using timelines

Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 ◽

10.1145/186258.187157 ◽

1994 ◽

Cited By ~ 22

Author(s):

Gerald M. Karam

Download Full-text

The all program functions criterion for revealing computation errors

Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 ◽

10.1145/186258.187197 ◽

1994 ◽

Author(s):

István Forgács

Download Full-text

A meaningful bound for branch testing

Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 ◽

10.1145/186258.187203 ◽

1994 ◽

Cited By ~ 1

Author(s):

Antonia Bertolino ◽

Martina Marré

Download Full-text

Testing races in parallel programs with an OtOt strategy

Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 ◽

10.1145/186258.187242 ◽

1994 ◽

Cited By ~ 17

Author(s):

Suresh K. Damodaran-Kamal ◽

Joan M. Francioni

Keyword(s):

Parallel Programs

Download Full-text

An experimental approach to analyzing software semantics using error flow information

Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 ◽

10.1145/186258.187200 ◽

1994 ◽

Cited By ~ 2

Author(s):

Branson W. Murrill ◽

Larry Morell

Keyword(s):

Experimental Approach ◽

Flow Information

Download Full-text

Debugging optimized code via tailoring

Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 ◽

10.1145/186258.187201 ◽

1994 ◽

Author(s):

Lori Pollock ◽

Mary Bivens ◽

Mary Lou Soffa

Keyword(s):

Optimized Code

Download Full-text

Analysis of real-time programs with simple time Petri nets

Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 ◽

10.1145/186258.187243 ◽

1994 ◽

Cited By ~ 10

Author(s):

Ugo Buy ◽

Robert H. Sloan

Keyword(s):

Petri Nets ◽

Real Time ◽

Time Petri Nets

Download Full-text

State-space analysis as an aid to testing

Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 ◽

10.1145/186258.187204 ◽

1994 ◽

Cited By ~ 2

Author(s):

Michal Young

Keyword(s):

State Space ◽

Space Analysis ◽

State Space Analysis

Download Full-text

Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Views on software testability (panel)

Aslantest: a symbolic execution tool for testing Aslan formal specifications

Visualization using timelines

The all program functions criterion for revealing computation errors

A meaningful bound for branch testing

Testing races in parallel programs with an OtOt strategy

An experimental approach to analyzing software semantics using error flow information

Debugging optimized code via tailoring

Analysis of real-time programs with simple time Petri nets

State-space analysis as an aid to testing

Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94
Latest Publications