IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming. - J. Doyle; C. Meudec (PPPJ, 2003)