Verification as a parameterized testing (experiments with the SCP4 supercompiler).

Alexei Lisitsa Andrei P. Nemytykh

Published in: Program. Comput. Softw. (2007)

Keyphrases

test generation
formal verification
symbolic execution
model checking
decision making
video sequences
digital images
test set
real time
test data
software testing
test cases
verification method
test data generation
face verification
social networks
artificial intelligence
neural network
data sets