Mahesh Deshpande Frank P. Coyle Jeff Tian Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation. 266-279 2000 conf/adaEurope/2000 Ada-Europe db/conf/adaEurope/adaEurope2000.html#DeshpandeCT00 http://dx.doi.org/10.1007/10722060_24