DSD-Crasher: A hybrid analysis tool for bug finding. Csallner, C. & Smaragdakis, Y. In Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), pages 245--254, July, 2006. ACM.
bibtex   
@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}
}
Downloads: 0