Assisting Specification Refinement by Random Testing.

Published in: ICFEM (2013)

Keyphrases

test case generation
formal verification
test cases
high level
artificial neural networks
website
case study
test set
software testing
database
multiscale
hidden markov models
specification language
integration testing