Login / Signup
A structural analysis approach to the evaluation of fault coverage for protocol conformance testing.
Ming Yu Yao
Alexandre Petrenko
Gregor von Bochmann
Published in:
FORTE (1994)
Keyphrases
</>
structural analysis
image processing
three dimensional
evaluation method
evaluation model
neural network
lightweight
civil engineering
test cases
evaluation methods
database
multi objective
peer to peer
formal analysis
security protocols
reinforced concrete