Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (abstract only).

Jonathan D. Pincus Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (abstract only). 1 2000 ISSTA http://doi.acm.org/10.1145/347324.347826 db/conf/issta/issta2000.html#Pincus00