Informatika '91 Selected papers of the 5th Soviet-French symposium on Theoretical computer science, methods and tools for compilation, and program development
Semantics of Timed Message Sequence Charts
Cybernetics and Systems Analysis
A Model for Interaction of Agents and Environments
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Formal Methods for Early Fault Detection
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems
WORDS '96 Proceedings of the 2nd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '96)
Automatic generation of conformance tests from message sequence charts
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Systems Specification by Basic Protocols
Cybernetics and Systems Analysis
Basic protocols, message sequence charts, and the verification of requirements specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Models and Testing --- A Recipe for Improved Effectiveness?
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Basic protocols, message sequence charts, and the verification of requirements specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Basic protocols: pecification language for distributed systems
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Model checking of UML 2.0 interactions
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Experiences in deploying model-driven engineering
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Properties of a predicate transformer of the VRS system
Cybernetics and Systems Analysis
Semantics of message sequence charts
SDL'05 Proceedings of the 12th international conference on Model Driven
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
| Hi-index | 0.00 |
Stringent reliability demanded of telecommunications systems requires that the absence of defects be ascertained as extensively as possible. In this chapter, we present techniques we have developed to verify specifications expressed in sequence diagrams: formal verification of specifications can demonstrate the consistency and completeness of a set of sequence diagrams. Automated test case generation can produce a test suite that is able to establish that a system exhibits the traces implied by a set of sequence diagrams.