@inproceedings{csallner06dsd-crasher,
  author = {Christoph Csallner and Yannis Smaragdakis},
  title = {{DSD}-{C}rasher: A hybrid analysis tool for bug finding},
  booktitle = {Proc. ACM SIGSOFT International Symposium on Software
   		Testing and Analysis (ISSTA)},  
  year = 2006,
  month = jul,
  pages = {245--254},
  publisher = {ACM},
  category = {Testing},
  summary = {DSD-Crasher first uses
    Daikon to capture the subject's intended execution behavior,
    then statically analyzes this restricted domain with ESC/Java,
    and finally lets Check 'n' Crash generate and execute concrete
    test-cases to verify the results of ESC/Java.
    Received an {\bf ACM SIGSOFT Distinguished Paper Award}.},
  downloads = {
        ../talks/csallner06dsd-issta.pdf ISSTA slides;
        http://video.google.com/videoplay?docid=-4545206252362786711 Google tech talk;
        ../dsd-crasher/index.html implementation;
        http://www.sigsoft.org/awards/disPapAwd.htm ACM SIGSOFT Distinguished Paper Award}
}

{"_id":"w4sLBYStfHyR3rnwH","bibbaseid":"csallner-smaragdakis-dsdcrasherahybridanalysistoolforbugfinding-2006","downloads":0,"creationDate":"2017-05-18T00:10:12.863Z","title":"DSD-Crasher: A hybrid analysis tool for bug finding","author_short":["Csallner, C.","Smaragdakis, Y."],"year":2006,"bibtype":"inproceedings","biburl":"http://ranger.uta.edu/~csallner/papers/csallner.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Csallner"],"suffixes":[]},{"firstnames":["Yannis"],"propositions":[],"lastnames":["Smaragdakis"],"suffixes":[]}],"title":"DSD-Crasher: A hybrid analysis tool for bug finding","booktitle":"Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)","year":"2006","month":"July","pages":"245--254","publisher":"ACM","category":"Testing","summary":"DSD-Crasher first uses Daikon to capture the subject's intended execution behavior, then statically analyzes this restricted domain with ESC/Java, and finally lets Check 'n' Crash generate and execute concrete test-cases to verify the results of ESC/Java. Received an \\bf ACM SIGSOFT Distinguished Paper Award.","downloads":0,"bibtex":"@inproceedings{csallner06dsd-crasher,\r\n author = {Christoph Csallner and Yannis Smaragdakis},\r\n title = {{DSD}-{C}rasher: A hybrid analysis tool for bug finding},\r\n booktitle = {Proc. ACM SIGSOFT International Symposium on Software\r\n \t\tTesting and Analysis (ISSTA)}, \r\n year = 2006,\r\n month = jul,\r\n pages = {245--254},\r\n publisher = {ACM},\r\n category = {Testing},\r\n summary = {DSD-Crasher first uses\r\n Daikon to capture the subject's intended execution behavior,\r\n then statically analyzes this restricted domain with ESC/Java,\r\n and finally lets Check 'n' Crash generate and execute concrete\r\n test-cases to verify the results of ESC/Java.\r\n Received an {\\bf ACM SIGSOFT Distinguished Paper Award}.},\r\n downloads = {\r\n ../talks/csallner06dsd-issta.pdf ISSTA slides;\r\n http://video.google.com/videoplay?docid=-4545206252362786711 Google tech talk;\r\n ../dsd-crasher/index.html implementation;\r\n http://www.sigsoft.org/awards/disPapAwd.htm ACM SIGSOFT Distinguished Paper Award}\r\n}\r\n\r\n","author_short":["Csallner, C.","Smaragdakis, Y."],"key":"csallner06dsd-crasher","id":"csallner06dsd-crasher","bibbaseid":"csallner-smaragdakis-dsdcrasherahybridanalysistoolforbugfinding-2006","role":"author","urls":{}},"search_terms":["dsd","crasher","hybrid","analysis","tool","bug","finding","csallner","smaragdakis"],"keywords":[],"authorIDs":["591ce66416f317c873000007"],"dataSources":["bS8bwjSktjpmMpkn5"]}