Validating Static Warnings via Testing Code Fragments.

Ashwin Kallingal Joshy Xueyuan Chen Benjamin Steenhoek Wei Le

Published in: CoRR (2021)

Keyphrases

decision trees
dynamic analysis
concurrent programs
static analysis
unit testing
code generation
information systems
e learning
software testing
test set
symbolic execution
error correction
database
source code
object oriented
error correcting
evolutionary algorithm
case study
information retrieval