A framework for testing safety and effective computability (1996)

by R Krishnamurthy, R Ramakrishnan, O Shmueli
Venue:J. Comput. Syst. Sci