Ravi Krishnamurthy Raghu Ramakrishnan Oded Shmueli A Framework for Testing Safety and Effective Computability. 100-124 1996 52 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss52.html#KrishnamurthyRS96