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

by G Yorsh, T Ball, M Sagiv
Venue:In ISSTA ’06: Proceedings of the 2006 international symposium on Software testing and analysis