Model-based tests of truisms (2002)

by T Menzies, D Raffo, S on Setamanit, Y Hu, S Tootoonian
Venue:In Proceedings of IEEE ASE 2002