Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
New computer methods for global optimization
New computer methods for global optimization
An experiment in automatic generation of test suites for protocols with verification technology
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Advanced compiler design and implementation
Advanced compiler design and implementation
Verification and test generation for the SSCOP protocol
Science of Computer Programming
A unified approach to global program optimization
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Test sequence generation using Estelle or SDL structure information
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Using On-The-Fly Verification Techniques for the Generation of test Suites
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
A Formal Approach to Conformance Testing
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Formal Test Automation: A Simple Experiment
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Data Flow Analysis Frameworks for Concurrent Programs
Data Flow Analysis Frameworks for Concurrent Programs
Improving the Verification of Timed Systems Using Influence Information
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
An Approach to Symbolic Test Generation
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Automated Test Generation and Verified Software
Verified Software: Theories, Tools, Experiments
Slicing of Timed Automata with Discrete Data
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Implementing conformiq Qtronic
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hindered by the state explosion problem. Our method reduces its magnitude by reconsidering the test case generation at a higher level and by taking advantage of some static analysis techniques, in particular the slicing techniques. The specification is simplified by pipelining a set of three modules, each one implementing a different slicing technique.