Leveraging Test Generation and Specification Mining for Automated Bug Detection without False Positives (supplementary material)


This page provides supplementary material for our ICSE'12 paper entitled Leveraging Test Generation and Specification Mining for Automated Bug Detection without False Positives:

Feel free to use this material for your own research! For questions, please contact Michael Pradel.