Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation. - Mahesh Deshpande; Frank P. Coyle; Jeff Tian (Ada-Europe, 2000)