1. Lecture Notes in Computer Science;A. Abdurazik,2000
2. Blanco, R., Fanjul, J.G., Tuya, J.: Test case generation for transition-pair coverage using Scatter Searc. International Journal of Software Engineering and Its Applications 4(4) (October 2010)
3. Lorenzoli, D., Mariani, L., Pezzè, M.: Automatic generation of soft-ware behavioral models. In: Proc. 30th Int’l. Conf. on Softw. Eng (ICSE 2008), Leipzig, Germany, pp. 501–510 (May 2008)
4. Fraikin, F., Leonhardt, T.: SeDiTeC–Testing Based on Sequence Diagrams. In: ASE 2002 (2002)
5. http://www.sequencediagrameditor.com/uml/sequence-diagram.htm