A framework for testing safety and effective computability (1996)

by R Krishnamurthy, R Ramakrishnan, O Shmueli
Venue:Journal of Computer and System Sciences