[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis
Latest Publications

TOTAL DOCUMENTS

34

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818608684

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The broad spectrum toolset for upstream testing, verification and analysis

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis ◽

10.1109/wst.1988.5349 ◽

2003 ◽

Author(s):

S.L. Gerhart

Keyword(s):

Download Full-text

How to leave out details: error-preserving abstractions of state-space models

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis ◽

10.1109/wst.1988.5354 ◽

2003 ◽

Author(s):

M. Young

Keyword(s):

State Space ◽

State Space Models

Download Full-text

An empirical comparison of software fault tolerance and fault elimination

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis ◽

10.1109/wst.1988.5373 ◽

2003 ◽

Author(s):

T.J. Shimeall ◽

N.G. Leveson

Keyword(s):

Fault Tolerance ◽

Empirical Comparison ◽

Software Fault Tolerance ◽

Download Full-text

Partition testing does not inspire confidence

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis ◽

10.1109/wst.1988.5376 ◽

2003 ◽

Author(s):

D. Hamlet ◽

R. Taylor

Keyword(s):

Partition Testing

Download Full-text

Complexity of testing iterated borders for structured programs

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis ◽

10.1109/wst.1988.5379 ◽

2003 ◽

Author(s):

L.J. White ◽

B. Wiszniewski

Download Full-text

Protocol test generation, trace analysis and verification techniques

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis ◽

10.1109/wst.1988.5364 ◽

2003 ◽

Author(s):

B. Sarikaya

Keyword(s):

Test Generation ◽

Trace Analysis ◽

Verification Techniques ◽

Download Full-text

A semantics-based approach to analyzing concurrent programs

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis ◽

10.1109/wst.1988.5365 ◽

2003 ◽

Author(s):

R.H. Carver ◽

K.-C. Tai

Keyword(s):

Concurrent Programs

Download Full-text

Automatically generated acceptance test: a software reliability experiment

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis ◽

10.1109/wst.1988.5375 ◽

2003 ◽

Author(s):

P.W. Protzel

Keyword(s):

Software Reliability ◽

Acceptance Test

Download Full-text

The RELAY model of error detection and its application

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis ◽

10.1109/wst.1988.5378 ◽

2003 ◽

Author(s):

D.J. Richardson ◽

M.C. Thompson

Keyword(s):

Error Detection

Download Full-text

A methodology and distributed tool for debugging dataflow programs

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis ◽

10.1109/wst.1988.5358 ◽

2003 ◽

Author(s):

N.J. Wahl ◽

S.R. Schach

Download Full-text