JATTACK: Java JIT Testing using Template Programs.
Zhiqiang ZangFu-Yao YuNathan WiatrekMilos GligoricAugust ShiPublished in: ICSE Companion (2023)
Keyphrases
- java virtual machine
- java programs
- program execution
- java bytecode
- test suite
- object oriented languages
- symbolic execution
- object oriented
- template matching
- java language
- source code
- object oriented programs
- matching algorithm
- byte code
- computer programs
- multi threaded
- programming environment
- test set
- java applets
- set of test cases
- database
- testing process
- software testing
- programming language
- case study
- neural network
- data sets