References
- T. Katayama, E. Itoh, 2. Furukawa, and K. Ushijima. 'Test-case Generation for Concurrent Programs with the Testing Criteria Using Interaction Sequences,' In Asia-Pacific Software Engineering Conference (APSEC'99), 1999
- M. Kim, J. Shin, S.T. Chanson, and S. Kang. 'An Approach for Testing Asynchronous Communication Systems,' IEICE Transactions on Communications, pages 81-95, 1999
- Recommendation Z.120. 'Message Sequence Chart (MSC'96)'. Technical report, ITU-T, 1996
- Recommendation Z.120 Annex B. 'Formal Semantics of Message Sequence Charts,' Technical report, ITU-T, 1998
- P.B. Ladkin and S. Leue. 'Interpreting Message Flow Graphs,' Formal Aspects of Computing, 7(5):473--509, 1995 https://doi.org/10.1007/BF01211629
- B.M. Kim, H.S. Kim, and W.Y. Kim. 'Construction of Global State Transition Graph for Verifying Specification Written in Message Sequence Charts for Telecommunications Software,' IEICE Transactions on Information and Systems, pages 249-261, 2001
- P. Graubmann, E. Rudolph, and J. Grabowski. 'Towards a Petri Net based Semantics Definitions for Message Sequence Charts,' In Proceedings of the Sixth SDL Forum, 1993
- Prepublished Recommendation Z.120. 'Message Sequence Chart (MSC'2000)}. Technical report,' ITU-T, 1999
- R. Alur and M. Yannakakis. 'Model Checking of Message Sequence Charts,' In Proceedings of the Tenth International Conference on Concurrency Theory, pages 114-129, 1999
- ATSC T3/S13 Doc. 010. 'Data Broadcast Specification,' Technical report, ATSC, 1999
- ATSC Doc. N65. 'Program and System Information Protocol for Terrestrial Broadcast and Cable,' Technical report, ATSC, 1997
- C. Bourhfir, R. Dssouli, and E.M. Aboulhamid. 'Automatic Test Generation for EFSM-based Systems,' Technical report, University of Montreal, TR-1043, 1996
- T.S. Chow. 'Testing software design modeled by finite state machines,' IEEE Transactions on Software Engineering, 4:178-187, 1978 https://doi.org/10.1109/TSE.1978.231496
- O. Henniger and P. Neumann. 'Test case generation based on formal specifications in Estelle,' In Proceedings of the 1st IEEE International Workshop on Factory Communication Systems, 1995 https://doi.org/10.1109/WFCS.1995.482693
- Y.G. Kim, H.S. Hong, D.H. Bae, and S.D. Chao 'Test Cases Generation from UML State Diagrams,' lEE Proceedings - Software, 146:187--193, 1999 https://doi.org/10.1049/ip-sen:19990602
- I. Kruger, R. Grosu, P. Scholz, and M. Broy, 'From MSCs to Statecharts,' In Distributed and Parallel Embedded Systems, 1999
- J. Whittle and J. Schumann. 'Generating Statechart Designs from Scenarios,' In Interanational, Conference on Software Engineering (lCSE), 2000 https://doi.org/10.1109/ICSE.2000.870422
- Recommendation Z.100. 'SDL Methodology Guidelines,' Technical report, ITU-T, Geneva, 1992
- J. Grabowski. 'SDL and MSC Based Test Case Generation-An Overall View of the SAMSTAG Method,' Technical report, University of Berne, IAM-94-0005, 1994
- I.S. Chung, H.S. Kim, H.S. Bae, and B.S. Lee, 'Testing of Concurrent Programs based on Message Sequence Charts,' In International Symposium on Parallel and Distributed Software Engineering (PDSE'99), 1999 https://doi.org/10.1109/PDSE.1999.779740
- T. Budkowski and P. Dembinski. 'An Introduction to Estelle: a Specification Language for Distributed Systems,' Computer Networks and ISDN, 14(1), 1987 https://doi.org/10.1016/0169-7552(87)90084-5
- David Harel. 'Statecharts: A Visual Formalism for Complex Systems,' Sciences of Computer Programming, 8:231--274, 1987 https://doi.org/10.1016/0167-6423(87)90035-9
- R. Alur, G.J. Holzmann, and D. Peled. :'An Analyzer for Message Sequence Charts,' Software Concept and Tools, 17(2):70--77, 1996