SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software.

Published in: ICST (2022)

Keyphrases

symbolic execution
test data generation
software tools
static analysis
source code
data flow
test generation
software systems
test cases
software development
simulated annealing algorithm
software projects
software architecture
specification language
neural network
data sets
software testing
generation algorithm