참고문헌
- 이남희, 김태효, 차성덕, 신석종, 홍인표, 박기웅. '태스크 상호작용 테스팅을 위한 MSC 명세로부터의 전체 유한 상태 기계 생성', 정보과학회 논문지: 소프트웨어 및 응용, Vol. 28, No. 9 pages 634-648, 2001
- G. Luo, G. Bochmann, and A. Petrenko. 'Test Selection Based on Communication Nondeterministic Finite-State machines Using a Generalized 쩨-Method'. IEEE Transactions on Software Engineering, Vol. 20, pages 149-162, 1994 https://doi.org/10.1109/32.265636
- H.S. Hong, Y.G. Kim, S.D. Cha, D.H. Bae, and H. Ural. 'A Test Sequence Selection Method for Statecharts', Journal of Software Testing, Verification, and Reliability, Vol. 10, No. 4, pages 203-227, 2000 https://doi.org/10.1002/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2
- S. Sorne, R. Dssouli, and J. Vaucher, 'Toward an Automation of Requirement Engineering'. Journal of Computing and Information, Vol. 2, No.1, pages 1110-1132, 1996
- Recommendation Z.120. 'Message Sequence Chart (MSC 2000)'. Technical report, ITU-T, 2000
- Recommendation Z.120 Annex B. 'Formal Semantics of Message Sequence Charts'. Technical report, ITU-T, 1998
- P. Godefroid. Partial Order Methods for the Verification of Concurrent Systems: An Approach to the State Explosion Problem. Lecture Notes in Computer Science, Vol. 1032, Springer-Verlag, Berlin, 1996
- R. Alur, R.K. Brayton, T.A. Henzinger, S. Qadeer, and S.K. Rajamani. Partial-Order Reduction in Symbolic State Space Exploration. In Proc. of the Conference on Computer Aided Verification (CAV'97), LNCS 1254, pages 340-351. Springer-Verlag, 1997
- G.J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, 1997 https://doi.org/10.1109/32.588521
- S. Leue and P.B. Ladkin. 'Implementing and Verifying MSC Specifications Using Promela/XSpin'. In Proc. of the DIMACS Workshop SPIN96, the 2nd International Workshop on the SPIN Verification System, pages 65-89, 1997
- E. Bounumova, V. Levin, O. Basbugoglu, and K. Inan. A Verification Engine for SDL Specification of Communication Protocols. In Proc. of the First Symposium on Computer Networks, pages 16-25, Springer-Verlag, 1996
- D. Peled. Ten Years of Partial order Reduction. In LNCS 1427, pages 17-28. Springer-Verlag, 1998
- R. Kurshan, V. Levin, M. Minea, D. Peled, and H. Yenigun. Static Partial Order Reduction. In Proc. of 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), LNCS 1384, pages 345-357. Springer-Verlag, 1998
- J. Whittle and J. Schumann. 'Generating State-chart Design from Scenarios', In International Conference on Software Engineering (ICSE), 2000
- D. Harel and H. Kugler. 'Synthesizing State-Based Object Systems from LSC Specifications.' Foundations of Computer Science, Vol. 13, No. 1, 2002
- R. Alur, G.J. Holzmann, and D. Reld. 'An Analyzer for Message Sequence Charts'. Software Concept and Tools, Vol. 17, No.2, pages 70-77, 1996
- ATSC T3/S13 Doc. 010. 'Data Broadcast Specification'. Technical report, ATSC, 1999
- ATSC Doc. A/65. 'Program and System Information Protocol for Terrestrial Broadcast and cable'. Technical report, ATSC, 1997