Sign in
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology.
Jean-Claude Fernandez
Claude Jard
Thierry Jéron
César Viho
Published in:
Sci. Comput. Program. (1997)
Keyphrases
</>
test suite
model checker
test cases
model checking
test suite reduction
data processing
number of test cases
cost effective
case study
automatically generate
cryptographic protocols
software maintenance
test case generation
regression testing
software testing
error rate
feature space