%0 Conference Paper %1 Tretmans1996 %A Tretmans, Jan %B TACAS %D 1996 %K IOLTS LTS formal generation method oracle testdata %P 127-146 %T Test Generation with Inputs, Outputs, and Quiescence

@inproceedings{Tretmans1996, added-at = {2008-08-28T12:03:21.000+0200}, author = {Tretmans, Jan}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/223c56a705b1c03669ea898a1f3bac556/ist_spl}, booktitle = {TACAS}, crossref = {DBLP:conf/tacas/1996}, interhash = {57383488dcc4a3f73d93d3a423c57fb0}, intrahash = {23c56a705b1c03669ea898a1f3bac556}, keywords = {IOLTS LTS formal generation method oracle testdata}, pages = {127-146}, timestamp = {2008-08-28T12:03:21.000+0200}, title = {Test Generation with Inputs, Outputs, and Quiescence}, year = 1996 }