Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin.

Junhua Ding Gonzalo Argote-Garcia Peter J. Clarke Xudong He

Published in: AST (2008)

Keyphrases

test suite
neural network
set of test cases
video sequences
test cases
data sets
computer vision
test data
software testing