abstraction, theorem proving: better together (0)

by G Yorsh, T Ball, M Sagiv, “Testing
Venue:in Proceedings of the international symposium on Software testing and analysis (ISSTA). ACM