Formal methods and testing: Why the state-of-the-art is not the state-of-the-practice (ISSTA'96/FMSP'96 panel summary (1996)

by D Rosenblum
Venue:ACM SIGSOFT Software Engineering Notes