Testing, abstraction, theorem proving: better together!

Greta Yorsh, Thomas Ball, Mooly Sagiv

Browse the full ISSTA paper archive.