8 search results - page 1 / 2 » Mutation Testing of Protocol Messages Based on Extended TTCN... |
AINA
2008
IEEE
13 years 12 months ago
2008
IEEE
CASCON
2006
13 years 6 months ago
2006
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...
PST
2004
13 years 6 months ago
2004
Syntax-based vulnerability testing is a static black-box testing method for protocol implementations. It involves testing the Implementation Under Test (IUT) with a large number o...
ICDCS
2007
IEEE
13 years 11 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
ICST
2009
IEEE
14 years 2 days ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...