Verifying Weakly Consistent Transactional Programs Using Symbolic Execution.

Burcu Kulahcioglu Ozkan

Published in: NETYS (2020)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
source code
data flow
test cases
open source
database
software systems
genetic algorithm ga
model checking
programming language
general purpose
training data
database systems
artificial intelligence
neural network