Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581132662

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On subdomains

Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 ◽

10.1145/347324.348873 ◽

2000 ◽

Cited By ~ 1

Author(s):

Dick Hamlet

Download Full-text

Simplifying failure-inducing input

Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 ◽

10.1145/347324.348938 ◽

2000 ◽

Cited By ~ 17

Author(s):

Ralf Hildebrandt ◽

Andreas Zeller

Download Full-text

A framework for testing database applications

Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 ◽

10.1145/347324.348954 ◽

2000 ◽

Cited By ~ 44

Author(s):

David Chays ◽

Saikat Dan ◽

Phyllis G. Frankl ◽

Filippos I. Vokolos ◽

Elaine J. Weber

Keyword(s):

Database Applications

Download Full-text

Slicing concurrent programs

Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 ◽

10.1145/347324.349121 ◽

2000 ◽

Cited By ~ 35

Author(s):

Mangala Gowri Nanda ◽

S. Ramesh

Keyword(s):

Concurrent Programs

Download Full-text

Requirements-based monitors for real-time systems

Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 ◽

10.1145/347324.348874 ◽

2000 ◽

Cited By ~ 2

Author(s):

Dennis K. Peters ◽

David L. Parnas

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

UML-Based integration testing

Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 ◽

10.1145/347324.348872 ◽

2000 ◽

Cited By ~ 59

Author(s):

Jean Hartmann ◽

Claudio Imoberdorf ◽

Michael Meisinger

Keyword(s):

Integration Testing

Download Full-text

Finite state verification (abstract only)

Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 ◽

10.1145/347324.348946 ◽

2000 ◽

Author(s):

Lori A. Clarke

Keyword(s):

Finite State ◽

Finite State Verification

Download Full-text

Progress in testing component-based software (abstract only)

Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 ◽

10.1145/347324.349099 ◽

2000 ◽

Cited By ~ 1

Author(s):

Craig H. Wittenberg

Download Full-text

jRapture

Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 ◽

10.1145/347324.348993 ◽

2000 ◽

Cited By ~ 43

Author(s):

John Steven ◽

Pravir Chandra ◽

Bob Fleck ◽

Andy Podgurski

Download Full-text

Comparison of delivered reliability of branch, data flow and operational testing

Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 ◽

10.1145/347324.348926 ◽

2000 ◽

Cited By ~ 9

Author(s):

Phyllis G. Frankl ◽

Yuetang Deng

Keyword(s):

Data Flow ◽

Operational Testing

Download Full-text

Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

On subdomains

Simplifying failure-inducing input

A framework for testing database applications

Slicing concurrent programs

Requirements-based monitors for real-time systems

UML-Based integration testing

Finite state verification (abstract only)

Progress in testing component-based software (abstract only)

jRapture

Comparison of delivered reliability of branch, data flow and operational testing

Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00
Latest Publications