Leveraging Test Generation and Specification Mining for Automated Bug Detection Without False Positives
doi 10.1109/icse.2012.6227185
Full Text
Open PDFAbstract
Available in full text
Date
June 1, 2012
Authors
Publisher
IEEE
Available in full text
June 1, 2012
IEEE