Alexey Loginov Suan Hsi Yong Susan Horwitz Thomas W. Reps Debugging via Run-Time Type Checking. 217-232 2001 conf/fase/2001 FASE http://link.springer.de/link/service/series/0558/bibs/2029/20290217.htm db/conf/fase/fase2001.html#LoginovYHR01