Login / Signup
Some Experience with Testing Tools for OSI Protocol Implementations.
Richard J. Linn Jr.
J. Stephen Nightingale
Published in:
Protocol Specification, Testing, and Verification (1983)
Keyphrases
</>
end users
user experience
search based software testing
coloured petri nets
user friendly
efficient implementation
software tools
formal analysis
user interface
lightweight
test cases
real time
educational settings
formal verification
tool support
database systems
data sets