A Practical Approach for Automated Test Case Generation using Statecharts
暂无分享,去创建一个
Nandamudi Lankalapalli Vijaykumar | Eliane Martins | Maria de Fátima Mattiello-Francisco | Valdivino Alexandre de Santiago Junior | Ana Silvia Martins do Amaral | Odnei Cuesta Lopes
[1] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[2] J. C. Rault. An approach towards reliable software , 1979, ICSE 1979.
[3] David Harel,et al. Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .
[4] David Lee,et al. Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.
[5] Deepinder P. Sidhu,et al. Formal Methods for Protocol Testing: A Detailed Study , 1989, IEEE Trans. Software Eng..
[6] Solon V. Carvalho,et al. On Proposing Statecharts to Specify Performance Models , 2002 .