"Continuous Verification" in Mission Critical Software Development. - Tien-fu Chang; Alejandro Danylyzsn; So Norimatsu; Jose Rivera; David Shepard; Anthony J. Lattanze; James E. Tomayko (HICSS (5), 1997)