Testing, abstraction, theorem proving: Better together (2006)

by G Yorsh, T Ball, M Sagiv
Venue:In Proceedings of ISSTA’06