Debra J. Richardson TAOS: Testing with Analysis and Oracle Support. 138-153 1994 ISSTA http://doi.acm.org/10.1145/186258.187158 db/conf/issta/issta94.html#Richardson94