Thomas Ball Orna Kupferman Vacuity in Testing. 4-17 2008 TAP http://dx.doi.org/10.1007/978-3-540-79124-9_2 conf/tap/2008 db/conf/tap/tap2008.html#BallK08