Managing Verification Activities Using SVM. - Bill Aldrich; Ansgar Fehnker; Peter H. Feiler; Zhi Han; Bruce H. Krogh; Eric Lim; Shiva Sivashankar (ICFEM, 2004)