1 |
IPL Information Processing Ltd, "Testing State Machine with AdaTEST and CANTATA," IPL paper, Mar., 2011.
|
2 |
H. Liang, J. Dingel and Z. Diskin, "A comparative survey of scenario-based to state-based model synthesis approaches," In SCESM, pp.5-12, 2006.
|
3 |
S. Uchitel and J. Kramer. "A workbench for synthesizing begaviour models from scenarios," In ICSE, pp.188-197, 2001.
|
4 |
J. Whittle and J. Schumann, "Generating statechart designs from scenarios," In ICSE, pp.314-323, Jun., 2000.
|
5 |
J. Whittle, R. Kwan and J. Saboo, "From scenarios to code: An air traffic control case study," In ICSE, pp.490-495, May, 2003.
|
6 |
L. Kwang-Min, B. Jung Ho and C. Heung Seok, "An Automatic Construction Approach of State Diagram from Class Operations with Pre/Post Conditions," DOI: 10.3745/KIPSTD.2009.16-D.4.527, 2009.
DOI
ScienceOn
|
7 |
K. RyoungKwo, H. SeungAn and K. Gihwon, "Test Requirements for MC/DC Coverage," Software Engineering, 2010.
|
8 |
R.V. Binder, "Testing Object-Oriented Systems: Models, Patterns, and Tools," Addison Wesley, 1999.
|
9 |
K. Derr, "Applying OMT," SIGS Books, Prentice Hall, 1995.
|
10 |
B.Beizer, "Software System Testing, 2nd. Ed," van Nostrand Reinhold, 1990.
|
11 |
A. Pretschner, O. Slotosch, E.Aiglastorfer and S. Kriebel, "Model based testing for real," Software Tools for Technology Transfer, 5(2-3):140-157, March, 2004.
DOI
ScienceOn
|