CIL to Java-bytecode translation for static analysis leveraging.

Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Browse the full ICSE paper archive.