Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs. - Pedro de Carvalho Gomes; Attilio Picoco; Dilian Gurov (FASE, 2014)