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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581135629

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Projected state machine coverage for software testing

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

10.1145/566172.566192 ◽

2002 ◽

Cited By ~ 13

Author(s):

G. Friedman ◽

A. Hartman ◽

K. Nagin ◽

T. Shiran

Keyword(s):

Software Testing ◽

State Machine ◽

Projected State

Download Full-text

Model checking Java programs using structural heuristics

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

10.1145/566172.566175 ◽

2002 ◽

Cited By ~ 32

Author(s):

Alex Groce ◽

Willem Visser

Keyword(s):

Model Checking ◽

Java Programs

Download Full-text

Specification, verification, and synthesis of concurrency control components

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

10.1145/566172.566199 ◽

2002 ◽

Cited By ~ 14

Author(s):

Tuba Yavuz-Kahveci ◽

Tevfik Bultan

Keyword(s):

Concurrency Control

Download Full-text

Effectively prioritizing tests in development environment

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

10.1145/566172.566187 ◽

2002 ◽

Cited By ~ 75

Author(s):

Amitabh Srivastava ◽

Jay Thiagarajan

Keyword(s):

Development Environment

Download Full-text

Semi-proving

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

10.1145/566172.566202 ◽

2002 ◽

Cited By ~ 26

Author(s):

T. Y. Chen ◽

T. H. Tse ◽

Zhiquan Zhou

Download Full-text

Experiences in automating the testing of SS7 signalling transfer points

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

10.1145/566172.566195 ◽

2002 ◽

Author(s):

Tim Moors ◽

Malathi Veeraraghavan ◽

Zhifeng Tao ◽

Xuan Zheng ◽

Ramesh Badri

Download Full-text

Continuity in software systems

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

10.1145/566172.566203 ◽

2002 ◽

Cited By ~ 10

Author(s):

Dick Hamlet

Keyword(s):

Software Systems

Download Full-text

Korat

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

10.1145/566172.566191 ◽

2002 ◽

Cited By ~ 178

Author(s):

Chandrasekhar Boyapati ◽

Sarfraz Khurshid ◽

Darko Marinov

Download Full-text

Panel discussion

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

10.1145/566172.566209 ◽

2002 ◽

Cited By ~ 1

Author(s):

Ashok Sreenivas

Keyword(s):

Panel Discussion

Download Full-text

ISSTA 2002 panel

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

10.1145/566172.566205 ◽

2002 ◽

Cited By ~ 2

Author(s):

Antonia Bertolino

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Projected state machine coverage for software testing

Model checking Java programs using structural heuristics

Specification, verification, and synthesis of concurrency control components

Effectively prioritizing tests in development environment

Semi-proving

Experiences in automating the testing of SS7 signalling transfer points

Continuity in software systems

Korat

Panel discussion

ISSTA 2002 panel

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