%0 Conference Paper %1 conf/fates/HeimdahlRVDG03 %A Heimdahl, Mats Per Erik %A Rayadurgam, Sanjai %A Visser, Willem %A Devaraj, George %A Gao, Jimin %B FATES %D 2003 %E Petrenko, Alexandre %E Ulrich, Andreas %I Springer %K dblp %P 42-59 %T Auto-generating Test Sequences Using Model Checkers: A Case Study. %U http://dblp.uni-trier.de/db/conf/fates/fates2003.html#HeimdahlRVDG03 %V 2931 %@ 3-540-20894-1

@inproceedings{conf/fates/HeimdahlRVDG03, added-at = {2017-05-26T00:00:00.000+0200}, author = {Heimdahl, Mats Per Erik and Rayadurgam, Sanjai and Visser, Willem and Devaraj, George and Gao, Jimin}, biburl = {https://www.bibsonomy.org/bibtex/2a93b899aea31da0997623a598dae71ba/dblp}, booktitle = {FATES}, crossref = {conf/fates/2003}, editor = {Petrenko, Alexandre and Ulrich, Andreas}, ee = {https://doi.org/10.1007/978-3-540-24617-6_4}, interhash = {e0b1defb256d329ddc06c398d7f011bb}, intrahash = {a93b899aea31da0997623a598dae71ba}, isbn = {3-540-20894-1}, keywords = {dblp}, pages = {42-59}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:11:42.000+0200}, title = {Auto-generating Test Sequences Using Model Checkers: A Case Study.}, url = {http://dblp.uni-trier.de/db/conf/fates/fates2003.html#HeimdahlRVDG03}, volume = 2931, year = 2003 }