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

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By ACM Press

0897916085

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Mutation analysis using mutant schemata

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

10.1145/154183.154265 ◽

1993 ◽

Author(s):

Roland H. Untch ◽

A. Jefferson Offutt ◽

Mary Jean Harrold

Keyword(s):

Mutation Analysis

Download Full-text

A practical technique for bounding the time between events in concurrent real-time systems

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

10.1145/154183.154263 ◽

1993 ◽

Author(s):

J. Corbett ◽

G. Avrunin

Keyword(s):

Real Time ◽

Real Time Systems ◽

Download Full-text

The composability of ASTRAL realtime specifications

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

10.1145/154183.154271 ◽

1993 ◽

Author(s):

Alberto Coen-Porisini ◽

Richard A. Kemmerer

Download Full-text

Load testing software using deterministic state testing

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

10.1145/154183.154244 ◽

1993 ◽

Author(s):

Alberto Avritzer ◽

Brian Larson

Keyword(s):

State Testing ◽

Download Full-text

Improved serial algorithms for mutation analysis

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

10.1145/154183.154266 ◽

1993 ◽

Author(s):

Stewart N. Weiss ◽

Vladimir N. Fleyshgakker

Keyword(s):

Mutation Analysis ◽

Serial Algorithms

Download Full-text

Specifying operational profiles for modules

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

10.1145/154183.154187 ◽

1993 ◽

Author(s):

Denise M. Woit

Download Full-text

Faults on its sleeve

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

10.1145/154183.154246 ◽

1993 ◽

Author(s):

Dick Hamlet ◽

Jeff Voas

Download Full-text

Using state space reduction methods for deadlock analysis in Ada tasking

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

10.1145/154183.154197 ◽

1993 ◽

Author(s):

S. Duri ◽

U. Buy ◽

R. Devarapalli ◽

S. M. Shatz

Keyword(s):

State Space ◽

Space Reduction ◽

Deadlock Analysis ◽

Reduction Methods ◽

State Space Reduction

Download Full-text

An integrated general purpose automated test environment

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

10.1145/154183.154200 ◽

1993 ◽

Author(s):

Peter A. Vogel

Keyword(s):

General Purpose ◽

Test Environment ◽

Download Full-text

Designing programs to check their work (abstract)

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

10.1145/154183.154185 ◽

1993 ◽

Author(s):

Manuel Blum

Download Full-text