Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
An Execution Semantics for MSC-2000
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Comparing TorX, Autolink, TGV and UIO Test Algorithms
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
An MSC Based Representation of DiCons
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
Generating test sequences from a set of MSCs
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Towards Property Oriented Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
TIMEDTTCN-3 based graphical real-time test specification
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Specifying and generating test cases using observer automata
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Rapid generation of functional tests using MSCs, SDL and TTCN
Computer Communications
Hi-index | 0.00 |