Christoph Csallner, Yannis Smaragdakis. DSD-Crasher: a hybrid analysis tool for bug finding. In Lori L. Pollock, Mauro Pezzè, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006. pages 245-254, ACM, 2006. [doi]
@inproceedings{CsallnerS06, title = {DSD-Crasher: a hybrid analysis tool for bug finding}, author = {Christoph Csallner and Yannis Smaragdakis}, year = {2006}, doi = {10.1145/1146238.1146267}, url = {http://doi.acm.org/10.1145/1146238.1146267}, tags = {analysis}, researchr = {https://researchr.org/publication/CsallnerS06}, cites = {0}, citedby = {0}, pages = {245-254}, booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006}, editor = {Lori L. Pollock and Mauro Pezzè}, publisher = {ACM}, isbn = {1-59593-263-1}, }