An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. - Barbuti, Roberto; De Francesco, Nicoletta; Tesei, Luca (Computer Journal, 2010)