Specification-based test generation with TGV

TGV (Test Generation with Verification technology) is a tool, integrated into the toolset CADP, for the generation of test cases based on a system

Additional Metadata
Publisher	CWI
Series	Software Engineering [SEN]
Organisation	Specification and Analysis of Embedded Systems
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Calamé, J. (2005). Specification-based test generation with TGV. Software Engineering [SEN]. CWI.

Publication