Leveraging test generation and specification mining for automated bug detection without false positives.

Michael Pradel, Thomas R. Gross

Browse the full ICSE paper archive.