%0 Conference Paper %1 conf/sigsoft/LauterburgKMA10 %A Lauterburg, Steven %A Karmani, Rajesh K. %A Marinov, Darko %A Agha, Gul %B SIGSOFT FSE %D 2010 %E Roman, Gruia-Catalin %E van der Hoek, André %I ACM %K %P 363-364 %T Basset: a tool for systematic testing of actor programs. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2010.html#LauterburgKMA10 %@ 978-1-60558-791-2

@inproceedings{conf/sigsoft/LauterburgKMA10, added-at = {2023-12-13T02:03:34.000+0100}, author = {Lauterburg, Steven and Karmani, Rajesh K. and Marinov, Darko and Agha, Gul}, biburl = {https://www.bibsonomy.org/bibtex/25244144a0cf873cedfd78dd4582c0dbb/admin}, booktitle = {SIGSOFT FSE}, crossref = {conf/sigsoft/2010}, editor = {Roman, Gruia-Catalin and van der Hoek, André}, ee = {https://doi.org/10.1145/1882291.1882349}, interhash = {7a4cebb4587540207ef90e03e9b906c8}, intrahash = {5244144a0cf873cedfd78dd4582c0dbb}, isbn = {978-1-60558-791-2}, keywords = {}, pages = {363-364}, publisher = {ACM}, timestamp = {2023-12-13T02:03:34.000+0100}, title = {Basset: a tool for systematic testing of actor programs.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2010.html#LauterburgKMA10}, year = 2010 }