%0 Conference Paper %1 conf/kbse/TkachukDP03 %A Tkachuk, Oksana %A Dwyer, Matthew B. %A Pasareanu, Corina S. %B ASE %D 2003 %I IEEE Computer Society %K dblp %P 116-129 %T Automated Environment Generation for Software Model Checking. %U http://dblp.uni-trier.de/db/conf/kbse/ase2003.html#TkachukDP03 %@ 0-7695-2035-9

@inproceedings{conf/kbse/TkachukDP03, added-at = {2023-03-24T00:00:00.000+0100}, author = {Tkachuk, Oksana and Dwyer, Matthew B. and Pasareanu, Corina S.}, biburl = {https://www.bibsonomy.org/bibtex/2374a549faca8be06a6af20ffd30267f3/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2003}, ee = {https://doi.ieeecomputersociety.org/10.1109/ASE.2003.1240300}, interhash = {8574c33cfd5c89f23dfa307a3f4c1e4e}, intrahash = {374a549faca8be06a6af20ffd30267f3}, isbn = {0-7695-2035-9}, keywords = {dblp}, pages = {116-129}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:02:47.000+0200}, title = {Automated Environment Generation for Software Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2003.html#TkachukDP03}, year = 2003 }