Testing meets static and runtime verification.

Jesús Mauricio Chimento Wolfgang Ahrendt Gerardo Schneider

Published in: FormaliSE@ICSE (2018)

Keyphrases

symbolic execution
test generation
formal verification
dynamic analysis
model checking
test data generation
test set
functional verification
test cases
test data
person identification
formal analysis
statistical tests
data sets
image segmentation
case study
website
decision making
genetic algorithm
databases