Finding Unstable Code via Compiler-Driven Differential Testing.

Shaohua Li Zhendong Su

Published in: ASPLOS (3) (2023)

Keyphrases

code generation
data driven
source code
model driven
software development
programming language
software systems
java virtual machine
program code
unit testing
instruction scheduling
concurrent programs
neural network
decision trees
highly optimized
distributed memory machines