Tools for coverage testing: necessary but not sufficient. - Chris Gaffney 002; Christian Trefftz; Paul Jorgensen 001 (J. Comput. Sci. Coll., 2004)