Validating static warnings via testing code fragments.

Ashwin Kallingal Joshy Xueyuan Chen Benjamin Steenhoek Wei Le

Published in: ISSTA (2021)

Keyphrases

dynamic analysis
static analysis
concurrent programs
neural network
unit testing
source code
image processing
test set
open source
symbolic execution
reverse engineering
data sets
relational databases
learning environment
image sequences
artificial intelligence
databases