%0 Conference Paper %1 conf/hotpar/BurnimENS12 %A Burnim, Jacob %A Elmas, Tayfun %A Necula, George C. %A Sen, Koushik %B HotPar %D 2012 %E Boehm, Hans-Juergen %E Ceze, Luis %I USENIX Association %K dblp %T CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration. %U http://dblp.uni-trier.de/db/conf/hotpar/hotpar2012.html#BurnimENS12

@inproceedings{conf/hotpar/BurnimENS12, added-at = {2014-05-26T00:00:00.000+0200}, author = {Burnim, Jacob and Elmas, Tayfun and Necula, George C. and Sen, Koushik}, biburl = {https://www.bibsonomy.org/bibtex/213c2a6d3e954d21c5534b65f9dbfcc74/dblp}, booktitle = {HotPar}, crossref = {conf/hotpar/2012}, editor = {Boehm, Hans-Juergen and Ceze, Luis}, ee = {https://www.usenix.org/conference/hotpar12/workshop-program/presentation/burnim}, interhash = {e5b84470daa85e3629fe6aaf85aee13f}, intrahash = {13c2a6d3e954d21c5534b65f9dbfcc74}, keywords = {dblp}, publisher = {USENIX Association}, timestamp = {2018-07-05T12:02:25.000+0200}, title = {CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration.}, url = {http://dblp.uni-trier.de/db/conf/hotpar/hotpar2012.html#BurnimENS12}, year = 2012 }