Combining unit and specification-based testing for meta-model validation and verification.

Jesús J. López-Fernández Esther Guerra Juan de Lara

Published in: Inf. Syst. (2016)

Keyphrases

model validation
formal verification
model checking
asynchronous circuits
symbolic execution
formal methods
test generation
specification language
test case generation
face verification
data mining
software testing
control unit
verification method
test suite
temporal logic
high level