Constraint Based Testing and Verification of Java Bytecode Programs.

Safaa Achour Mohammed Benattou

Published in: CIST (2018)

Keyphrases

java bytecode
virtual machine
programming language
efficient execution
garbage collection
java virtual machine
intermediate representation
test cases
symbolic execution
memory management
database
operating system
general purpose
databases
data center
software testing