Citation: | ZHANG Chen, DUAN Zhenhua, YU Bin, et al., “A Test Case Generation Approach Based on Sequence Diagram and Automata Models,” Chinese Journal of Electronics, vol. 25, no. 2, pp. 234-240, 2016, doi: 10.1049/cje.2016.03.007 |
Y.G. Kim, H.S. Hong, et al., "Test cases generation from UML state diagrams", IEE Proceedings-Software, Vol.146, No.4, pp.187-192, 1999.
|
H. Miao, X. Zhan and L. Liu, "Generating test case based on UML statecharts", Journal of Chinese Computer Systems, Vol.26, No.4, pp.662-666, 2005. (in Chinese)
|
M. Sarma, D. Kundu and R. Mall, "Automatic test case generation from UML sequence diagrams", Proceedings of the 15th International Conference on Advanced Computing and Communications, IEEE Computer Society, Piscataway, NJ, USA, pp.60-65, 2007.
|
S.K. Swain, D.P. Mohapatra and R. Mall, "Test case generation based on use case and sequence diagram", International Journal of Software Engineering, Vol.3, No.2, pp.21-52, 2010.
|
C. Zhang and Z. Duan, "Test case generation based on UML2.0 models", Journal of Xi'an Jiaotong University, Vol.45, No.8, pp.18-23, 2011. (in Chinese)
|
C. Zhang and Z. Duan, "Specification and verification of UML2.0 sequence diagrams using event deterministic finite automata", Proceedings of the 5th International Conference on Secure Software Integration and Reliability Improvement, IEEE Computer Society, Piscataway, NJ, USA, pp.41-46, 2011.
|
C. Zhang, Z. Duan and C. Tian, "Specification and verification of UML2.0 sequence diagrams based on event deterministic finite automata", Journal of Software, Vol.22, No.11, pp.2625-2638, 2011. (in Chinese)
|
A. Nayak and D. Samanta, "Synthesis of test scenarios using UML activity diagrams", Software and Systems Modeling, Vol.10, No.1, pp.63-89, 2011.
|
J. Dick and A. Faivre, "Automating the generation and sequencing of test cases from model-based specifications", Proceedings of FME '93: Industrial-Strength Formal Methods, Springer-Verlag, Berlin, Germany, pp.268-284, 1993.
|
S. Liu and S. Nakajima, "A decompositional approach to automatic test case generation based on formal specifications", Proceedings of the 4th International Conference on Secure Software Integration and Reliability Improvement, IEEE Computer Society, Los Alamitos, CA, pp.147-155, 2010.
|
M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach, Morgan Kaufmann, USA, 2007.
|
C. Yang and Z. Duan, "A key technique to develop the model checker for propositional projection temporal logic", Journal of Xi'an Jiaotong University, Vol.44, No.10, pp.24-29, 2010. (in Chinese)
|
G.J. Holzmann, "The model checker spin", IEEE Transactions on Software Engineering, Vol.23, No.5, pp.279-295, 1997.
|
H. Lin and W. Zhang, "Model checking: Theories, techniques and applications", Acta Electronica Sinica, Vol.30, No.12A, pp.1907-1912, 2002. (in Chinese)
|
C. Tian, S. Liu and Z. Duan, "Test case generation from conjunctions of predicates with model checking", Chinese Journal of Electronics, Vol.23, No.2, pp.271-277, 2014.
|