From regular expressions to deterministic automata
Theoretical Computer Science
A protocol test generation procedure
Computer Networks and ISDN Systems
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI protocols
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
On-the-fly verification of finite transition systems
Formal Methods in System Design - Special issue on computer-aided verification: general methods
Verification by abstraction as a preamble for interoperability test suite generation
PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
Context constraints for compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Conformance testing with labelled transition systems: implementation relations and test generation
Computer Networks and ISDN Systems - Special issue on protocol testing
An approach for testing asynchronous communicating systems
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Derivatives of Regular Expressions
Journal of the ACM (JACM)
IEEE Transactions on Software Engineering
Coverage Preserving Reduction Strategies for Reachability Analysis
Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII
Simple on-the-fly automatic verification of linear temporal logic
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Compositional Minimization of Finite State Systems
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Local Model Checking for Real-Time Systems (Extended Abstract)
Proceedings of the 7th International Conference on Computer Aided Verification
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
On the Fly Test Generation for Real Time Protocols
IC3N '98 Proceedings of the International Conference on Computer Communications and Networks
Test design for computer network protocols
Test design for computer network protocols
Chapter I: Notes on structured programming
Structured programming
General technique for communications protocol validation
IBM Journal of Research and Development
Modelling location operations in UMTS networks
MSWiM '02 Proceedings of the 5th ACM international workshop on Modeling analysis and simulation of wireless and mobile systems
Automatic Test Data Generation for Programs with Integer and Float Variables
Proceedings of the 16th IEEE international conference on Automated software engineering
Network protocol interoperability testing based on contextual signatures and passive testing
Proceedings of the 2009 ACM symposium on Applied Computing
A guided method for testing timed input output automata
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Automatic interoperability test case generation based on formal definitions
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Compositional testing of communication systems
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Quiescence management improves interoperability testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Exploration of the capabilities of constraint programming for software verification
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Network securing against threatening requests
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
Conformance testing to real-time communications systems
Computer Communications
A new method for interoperability test generation
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
Learning and integration of parameterized components through testing
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
Using transition systems to model and verify the implementation of security protocol
Proceedings of the 6th International Conference on Security of Information and Networks
| Hi-index | 0.24 |
Testing is an experimental method aimed at checking the correctness of a system implementation. Industrial companies are paying enormously for test development, as the presence of faults in distributed systems is not always tolerable. The interest for interworking systems testing is growing as these systems are more and more involved in the design of new communication standards. But testing interworking systems faces state space explosion problem due to concurrency. This paper proposes an on the fly technique to avoid combinatory explosion. The proposed method automatically computes tests sequences from interworking subsystem specifications. A case study with the B-ISDN ATM is provided to illustrate the results.