Statecharts: A visual formalism for complex systems
Science of Computer Programming
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Formal verification of communication protocols
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Model checking
Verification and test generation for the SSCOP protocol
Science of Computer Programming
Verification experiments on the MASCARA protocol
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Formal specification and verification of safety and performance of TCP selective acknowledgment
IEEE/ACM Transactions on Networking (TON)
Formal verification of standards for distance vector routing protocols
Journal of the ACM (JACM)
IF-2.0: A Validation Environment for Component-Based Real-Time Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
CMC: a pragmatic approach to model checking real code
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Working Around BGP: An Improvement of BGP Session Maintenance
ICNS '06 Proceedings of the International conference on Networking and Services
Model checking large network protocol implementations
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Modeling, Validation, and Verification of PCEP Using the IF Language
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Verification and improvement of the sliding window protocol
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Symbolic execution techniques for test purpose definition
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
| Hi-index | 0.00 |
To those familiar with network modeling and its advantages across different phases of system development, the thought of generating test cases based on informal specifications would sound unreal. However, manual test generation is still a current practice in industry. Given that the use of models provides many distinct advantages, why is it not more widespread in the validation phase? This paper presents a case study of a network protocol validation. We present a process for formalizing system specifications and applying a model-based approach for test generation, and consider how AGATHA, a tool developed by an academic community, can encourage industrial interest in efficient practices such as model-based testing (MBT). The drawbacks and advantages observed during our experiments are discussed. © 2012 Alcatel-Lucent. © 2012 Wiley Periodicals, Inc.