%0 Conference Paper %1 conf/ecbs/RayadurgamH01 %A Rayadurgam, Sanjai %A Heimdahl, Mats Per Erik %B ECBS %D 2001 %I IEEE Computer Society %K dblp %P 83- %T Coverage Based Test-Case Generation Using Model Checkers. %U http://dblp.uni-trier.de/db/conf/ecbs/ecbs2001.html#RayadurgamH01 %@ 0-7695-1086-8

@inproceedings{conf/ecbs/RayadurgamH01, added-at = {2023-03-23T00:00:00.000+0100}, author = {Rayadurgam, Sanjai and Heimdahl, Mats Per Erik}, biburl = {https://www.bibsonomy.org/bibtex/279e8bdfe4a18275da91e5a727ecc9565/dblp}, booktitle = {ECBS}, crossref = {conf/ecbs/2001}, ee = {https://doi.ieeecomputersociety.org/10.1109/ECBS.2001.922409}, interhash = {4fa9e5821730bfa8342556b5700dbe81}, intrahash = {79e8bdfe4a18275da91e5a727ecc9565}, isbn = {0-7695-1086-8}, keywords = {dblp}, pages = {83-}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:10:15.000+0200}, title = {Coverage Based Test-Case Generation Using Model Checkers.}, url = {http://dblp.uni-trier.de/db/conf/ecbs/ecbs2001.html#RayadurgamH01}, year = 2001 }