Test Generation with Inputs, Outputs, and Quiescence

G.J. Tretmans

Test Generation with Inputs, Outputs, and Quiescence

G.J. Tretmans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), Lecture Notes in Computer Science 1055
Place of Publication	Passau, Germany
Pages	127-146
Number of pages	20
Publication status	Published - 1 Jun 1996

Keywords

METIS-120049

Cite this

@inproceedings{9d6fc19b7e44449994fa45ceb98cd800,

title = "Test Generation with Inputs, Outputs, and Quiescence",

keywords = "METIS-120049",

author = "G.J. Tretmans",

year = "1996",

month = jun,

day = "1",

language = "Undefined",

pages = "127--146",

booktitle = "Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), Lecture Notes in Computer Science 1055",

}

Test Generation with Inputs, Outputs, and Quiescence. / Tretmans, G.J.
Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), Lecture Notes in Computer Science 1055. Passau, Germany, 1996. p. 127-146.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Test Generation with Inputs, Outputs, and Quiescence

AU - Tretmans, G.J.

PY - 1996/6/1

Y1 - 1996/6/1

KW - METIS-120049

M3 - Conference contribution

SP - 127

EP - 146

BT - Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), Lecture Notes in Computer Science 1055

CY - Passau, Germany

ER -