References

Anand, S., E.K. Burke, T.Y. Chen, J. Clark and M.B. Cohen et al., 2013. An orchestrated survey of methodologies for automated software test case generation. J. Syst. Software, 86: 1978-2001.
Direct Link  |  

Beizer, B., 1990. Software Testing Techniques. 2nd Edn., Van Nostrand Reinhold, New York, ISBN: 0-442-20672-0, Pages: 550.

Bertolino, A., 2003. Software testing research and practice. Proceedings of the 10th International Workshop on Abstract State Machines, March 3-7, Taormina, Italy, 244-262.

Braione, P., G. Denaro, A. Mattavelli, M. Vivanti and A. Muhammad, 2014. Software testing with code-based test generators: Data and lessons learned from a case study with an industrial software component. Software Q. J., 22: 311-333.
CrossRef  |  Direct Link  |  

Drees, S., D. Gomm, H. Plunnecke, W. Reisig and R. Walter, 1986. Bibliography of Petri Nets. In: Applications and Theory in Petri Nets, Grzegorz, R. (Ed.). Springer, Berlin, Germany, ISBN:978-3-540-18086-9, pp: 309-451.

Farooq, U., C.P. Lam and H. Li, 2008. Towards automated test sequence generation. Proceedings of the 19th Australian Conference on Software Engineering, March 26-28, IEEE Computer Society, Washington, USA., pp: 441-450.

Linzhang, W., Y. Jiesong, Y. Xiaofeng, H. Jun, L. Xuandong and Z. Guoliang, 2004. Generating test cases from UML activity diagram based on gray-box method. Proceedings of the 11th Asia-Pacific Software Engineering Conference, Nov. 30-Dec. 3, IEEE Computer Society, pp: 284-291.

Mussa, M., S. Ouchani, A.W. Sammane and L.A. Hamou, 2009. A survey of model-driven testing techniques. Proceedings of the 2009 9th International Conference on Quality Software, August 24-25, 2009, IEEE, Montreal, Quebec, Canada, ISBN:978-1-4244-5912-4, pp: 167-172.

Ravi, G. and K.P.C. Kailash, 2008. Model-based automated test case generation. SETLabs Briefings, 6: 39-46.

Rozenburg, G. and J. Engelfriet, 1998. Basic Models-Advances in Petrinets. In: Lecture Notes in Computer Science, Reisig, W. and G. Rozenberg, (Eds.). Springer, Berlin, Germany, pp: 12-121.

Smitha, P. and N. Sankarram, 2014. A framework for safe composable testing model for multiple applications testing environment. J. Theoretical Appl. Inf. Technol., 63: 292-297.
Direct Link  |  

Utting, M. and B. Legeard, 2006. Practical Model-Based Testing, a Tools Approach. 1st Edn., Morgan Kaufmann Publishers, USA., INBS:9780123725011, Pages: 433.

Wilkinson, T., M. Butler and J. Colley, 2014. A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems. In: Model-Based Safety and Assessment, Frank, O. and A. Rauzy (Eds.). Springer, Berlin, Germany, ISBN:978-3-319-12213-7, pp: 43-56.