%0 Conference Paper %1 conf/issta/GroceJ08 %A Groce, Alex %A Joshi, Rajeev %B WODA %D 2008 %E Liblit, Ben %E Rountev, Atanas %I ACM %K dblp %P 22-28 %T Random testing and model checking: building a common framework for nondeterministic exploration. %U http://dblp.uni-trier.de/db/conf/issta/woda2008.html#GroceJ08 %@ 978-1-60558-054-8

@inproceedings{conf/issta/GroceJ08, added-at = {2018-11-06T00:00:00.000+0100}, author = {Groce, Alex and Joshi, Rajeev}, biburl = {https://www.bibsonomy.org/bibtex/263196736b4777e01d199aa705794e8b3/dblp}, booktitle = {WODA}, crossref = {conf/issta/2008w}, editor = {Liblit, Ben and Rountev, Atanas}, ee = {https://doi.org/10.1145/1401827.1401833}, interhash = {6ede3cd258545a0709dcec7b92961049}, intrahash = {63196736b4777e01d199aa705794e8b3}, isbn = {978-1-60558-054-8}, keywords = {dblp}, pages = {22-28}, publisher = {ACM}, timestamp = {2018-11-07T13:03:22.000+0100}, title = {Random testing and model checking: building a common framework for nondeterministic exploration.}, url = {http://dblp.uni-trier.de/db/conf/issta/woda2008.html#GroceJ08}, year = 2008 }