Test Generation with Inputs, Outputs, and Quiescence

G.J. Tretmans; T. Margaria; B. Steffen

Test Generation with Inputs, Outputs, and Quiescence

G.J. Tretmans, T. Margaria (Editor), B. Steffen (Editor)

Research output: Contribution to conference › Paper › peer-review

187 Downloads (Pure)

Original language	Undefined
Pages	127-146
Number of pages	20
Publication status	Published - 1996
Event	2nd International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1996 - Passau, Germany Duration: 27 Mar 1996 → 29 Mar 1996 Conference number: 2

Workshop

Workshop	2nd International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1996
Abbreviated title	TACAS
Country/Territory	Germany
City	Passau
Period	27/03/96 → 29/03/96

Keywords

FMT-TESTING
IR-66280
EWI-6494

Access to Document

Cite this

@conference{4334d7074f274080af9b71da4690409c,

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

keywords = "FMT-TESTING, IR-66280, EWI-6494",

author = "G.J. Tretmans and T. Margaria and B. Steffen",

year = "1996",

language = "Undefined",

pages = "127--146",

note = "2nd International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1996 ; Conference date: 27-03-1996 Through 29-03-1996",

}

TY - CONF

T1 - Test Generation with Inputs, Outputs, and Quiescence

AU - Tretmans, G.J.

A2 - Margaria, T.

A2 - Steffen, B.

N1 - Conference code: 2

PY - 1996

Y1 - 1996

KW - FMT-TESTING

KW - IR-66280

KW - EWI-6494

M3 - Paper

SP - 127

EP - 146

T2 - 2nd International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1996

Y2 - 27 March 1996 through 29 March 1996

ER -