Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020. [PDF]
Int J Softw Tools Technol Transf, 2022 Biere A, Parker D.
europepmc +1 more source
Enhancing Security of Web-Based IoT Services via XSS Vulnerability Detection. [PDF]
Sensors (Basel), 2023 Kim J, Park J.
europepmc +1 more source
A Case Study of Development of a Java Bytecode Analyzer Framework Using AspectJ
, 2005 Susumu Yamazaki +4 more
openalex +2 more sources
An Experimental Comparison of Clone Detection Techniques using Java Bytecode
, 2022 Jean-Guy Schneider, Sung Une Lee
openalex +2 more sources
Non-termination of Dalvik bytecode via compilation to CLP
, 2014 We present a set of rules for compiling a Dalvik bytecode program into a logic program with array constraints. Non-termination of the resulting program entails that of the original one, hence the techniques we have presented before for proving non ...
Mesnard, Fred, Payet, Etienne
core
Verifying Functional Correctness Properties at the Level of Java Bytecode [PDF]
, 2023 M. Paganoni, Carlo A. Furia
openalex +1 more source
Implementation of Java Bytecode Framework
, 2010 Kim Ki-Tae, Jemin Kim, Weon-Hee Yoo
openalex +2 more sources
Java Bytecode Verification with OCL Why, How and Whenc. [PDF]
, 2020 Christoph Bockisch +3 more
openalex +1 more source
Stubber: Compiling Source Code into Bytecode without Dependencies for Java Code Clone Detection [PDF]
, 2021 André Schäfer +2 more
openalex +1 more source
Técnica de Proteção de Bytecodes para Processador Java em Tecnologia CMOS
, 2009 Jardel Silveira +4 more
openalex +2 more sources