References

Boghdady, P.N., N.L. Badr, M. Hashem and M.F. Tolba, 2011. A proposed test case generation technique based on activity diagrams. Int. J. Eng. Technol., 11: 37-57.
Direct Link  |  

Boghdady, P.N., N.L. Badr, M.A. Hashim and M.F. Tolba, 2011. An enhanced test case generation technique based on activity diagrams. Proceedings of the 2011 International Conference on Computer Engineering and Systems (ICCES), November 29-December 1, 2011, IEEE, Cairo, Egypt, ISBN: 978-1-4577-0127-6, pp: 289-294.

Chen, L. and Q. Li, 2010. Automated test case generation from use case: A model based approach. Prpceedings of the 2010 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT), July 9-11, 2010, IEEE, Heifei, China, ISBN: 978-1-4244-5537-9, pp: 372-377.

Chen, M., P. Mishra and D. Kalita, 2008. Coverage-driven automatic test generation for UML activity diagrams. Proceedings of the 18th ACM Symposium on Great Lakes on VLSI, May 4-6, 2008, ACM, Orlando, Florida, USA, ISBN: 978-1-59593-999-9, pp: 139-142.

Chen, M., P. Mishra and D. Kalita, 2010. Efficient test case generation for validation of UML activity diagrams. Des. Autom. Embedded Syst., 14: 105-130.
CrossRef  |  Direct Link  |  

Chimisliu, V. and F. Wotawa, 2012. Model based test case generation for distributed embedded systems. Proceedings of the 2012 IEEE International Conference on Industrial Technology (ICIT), March 19-21, 2012, IEEE, Graz, Austria, ISBN: 978-1-4673-0340-8, pp: 656-661.

Chimisliu, V. and F. Wotawa, 2013. Improving test case generation from uml statecharts by using control, data and communication dependencies. Proceedings of the 2013 13th International Conference on Quality Software, July 29-30, 2013, IEEE, Graz, Austria, ISBN: 978-0-7695-5039-8, pp: 125-134.

Clarke, L.A., 1976. A system to generate test data and symbolically execute programs. IEEE. Trans. Software Eng., 2: 215-222.
CrossRef  |  Direct Link  |  

Dahiya, S.S., J.K. Chhabra and S. Kumar, 2011. PSO Based Pseudo Dynamic Method for Automated Test Case Generation using Interpreter. In: Advances in Swarm Intelligence. Ying, T., S. Yuhui, Y. Chai and G. Wang (Eds.). Springer, Berlin, Germany, ISBN: 978-3-642-21514-8, pp: 147-156.

Dorigo, M., M. Birattari and T. Stutzle, 2006. Ant colony optimization. IEEE Comput. Intell. Mag., 1: 28-39.
CrossRef  |  Direct Link  |  

Doungsa, A.C., K.P. Dahal, M.A. Hossain and T. Suwannasart, 2007. An automatic test data generation from UML state diagram using genetic algorithm. Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, IEEE, Cap Esterel, France, pp: 47-52.

Enoiu, E.P., K. Doganay, M. Bohlin, D. Sundmark and P. Pettersson, 2013. MOS: An integrated model-based and search-based testing tool for function block diagrams. Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, May 18-26, 2013, San Francisco, California, USA, ISBN: 978-1-4673-6284-9, pp: 55-60.

Frohlich, P. and J. Link, 2000. Automated Test Case Generation from Dynamic Models. In: Object-Oriented Programming. Elisa, B. (Ed.). Springer, Berlin, Germany, ISBN: 978-3-540-67660-7, pp: 472-491.

Gnesi, S., D. Latella and M. Massink, 2004. Formal test-case generation for UML statecharts. Proceedings of the 9th IEEE International Conference on Engineering Complex Computer Systems, April, 14-16, Florence, Italy, pp: 75-84.

Gutierrez, J.J., M.J. Escalona, M. Mejias and A.H. Zenteno, 2007. Using use case scenarios and operational variables for generating test objectives. Syst. Test. Validation, Vol. 23,

Gutierrez, J.J., M.J. Escalona, M. Mejias and J. Torres, 2006. An approach to generate test cases from use cases. Proceedings of the 6th international Conference on Web Engineering, July 11-14, Palo Alto, California, USA, pp: 113-114.

Gutierrez, J.J., M.J. Escalona, M. Mejias and J. Torres, 2007. Derivation of Test Objectives Automatically. In: Advances in Information Systems Development. Wita, W., W.W. Gregory, J. Zupancic, G. Magyar and G. Knapp (Eds.). Springer, Berlin, Germany, ISBN: 978-0-387-70801-0, pp: 435-446.

Harman, M., Y. Jia and W.B. Langdon, 2011. Strong higher order mutation-based test data generation. Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, September 5-9, 2011, ACM, Szeged, Hungary, ISBN:978-1-4503-0443-6, pp: 212-222.

Hartmann, J., M. Vieira, H. Foster and A. Ruder, 2004. UML-based test generation and execution. Presentation TAV21 Berlin, 28: 1-5.
Direct Link  |  

Hartmann, J., M. Vieira, H. Foster and A. Ruder, 2004. UML-based test generation and execution. Presentation TAV21 Berlin, 28: 1-5.
Direct Link  |  

Heumann, J., 2001. Generating test cases from use cases. Ration. Edge, Vol. 6,

Huaizhong, L. and L.C. Peng, 2007. Software test data generation using ant colony optimization. Int. J. Comput. Inf. Sci. Eng., Vol. 2007,

Iqbal, M.Z., A. Arcuri and L. Briand, 2012. Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems. In: Search Based Software Engineering. Gordon, F. and T.D.S. Jerffeson (Eds.). Springer, Berlin, Germany, ISBN:978-3-642-33118-3, pp: 136-151.

Kansomkeat, S. and W. Rivepiboon, 2013. Automated-generating test case using UML statechart diagrams. Proceedings of the 2003 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists on Enablement Through Technology, September 1-3, 2003, South African Institute for Computer Scientists and Information Technologists, Republic of South Africa, ISBN:1-58113-774-5, pp: 296-300.

Kim, H., S. Kang, J. Baik and I. Ko, 2007. Test cases generation from UML activity diagrams. Proceedings of 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, July 30-Aug. 1, Qingdao, China, pp: 556-561.

Korel, B., 1990. Automated software test data generation. IEEE. Trans. Software Eng., 16: 870-879.
CrossRef  |  

Korf, R.E., 1985. Depth-first iterative-deepening: An optimal admissible tree search. Artif. Intell., 27: 97-109.
CrossRef  |  Direct Link  |  

Kulkarni, P. and Y. Joglekar, 2014. Generating and analyzing test cases from software requirements using NLP and Hadoop. Int. J. Curr. Eng. Technol., 4: 3934-3937.
Direct Link  |  

Kundu, D. and D. Samanta, 2009. A novel approach to generate test cases from UML activity diagrams. J. Object Technol., 8: 65-83.
Direct Link  |  

Li, B.L., Z.S. Li, L. Qing and Y.H. Chen, 2007. Test case automate generation from UML sequence diagram and OCL expression. Proceedings of the International Conference on Computational Intelligence and Security, December 15-19, 2007, Harbin, China, pp: 1048-1052.

Li, L., X. Li, T. He and J. Xiong, 2013. Extenics-based test case generation for UML activity diagram. Procedia Comput. Sci., 17: 1186-1193.
CrossRef  |  Direct Link  |  

McCabe, T.J., 1976. A complexity measure. IEEE Trans. Software Eng., 2: 308-320.
CrossRef  |  

McMinn, P., 2004. Search-based software test data generation: A survey. Software Test. Verification Reliab., 14: 105-156.
CrossRef  |  Direct Link  |  

McMinn, P., 2011. Search-based software testing: Past, present and future. Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), March 21-25, 2011, IEEE, Sheffield, UK, ISBN: 978-1-4577-0019-4, pp: 153-163.

McQuillan, J.A. and J.F. Power, 2005. A survey of UML-based coverage criteria for software testing. Department of Computer Science, Maynooth University, Kildare, Ireland.

Mingsong, C., Q. Xiaokang and L. Xuandong, 2006. Automatic test case generation for UML activity diagrams. Proceedings of the 2006 International Workshop on Automation of Software Test, May 20-28, 2006, ACM, Shanghai, China, ISBN: 1-59593-408-1, pp: 2-8.

Nayak, A. and D. Samanta, 2011. Synthesis of test scenarios using UML activity diagrams. Software Syst. Model., 10: 63-89.
CrossRef  |  Direct Link  |  

Nebut, C., F. Fleurey, L.Y. Traon and J.M. Jezequel, 2006. Automatic test generation: A use case driven approach. IEEE. Trans. Software Eng., 32: 140-155.
CrossRef  |  Direct Link  |  

Pechtanun, K. and S. Kansomkeat, 2012. Generation test case from UML activity diagram based on AC grammar. Proceedings of the 2012 International Conference on Computer and Information Science (ICCIS), June 12-14, 2012, IEEE, Songkhla, Thailand, ISBN: 978-1-4673-1937-9, pp: 895-899.

Prasanna, M. and K.R. Chandran, 2011. Automated Test Case Generation for Object Oriented Systems Using UML Object Diagrams. In: High Performance Architecture and Grid Computing. Archana, M., N. Suman, K. Gauravand and K. Sandeep (Eds.). Springer, Berlin, Germany, ISBN:978-3-642-22576-5, pp: 417-423.

Prasanna, M., K.R. Chandran and K. Thiruvenkadam, 2011. Automatic test case generation for uml collaboration diagrams. IETE J. Res., 57: 77-81.
Direct Link  |  

Ramamoorthy, C., S. Ho and W. Chen, 1976. On the automated generation of program test data. IEEE. Trans. Software Eng., 2: 293-300.

Ray, M., S.S. Barpanda and D.P. Mohapatra, 2009. Test case design using conditioned slicing of activity diagram. Int. J. Recent Trends Eng. IJRTE., 1: 117-120.

Salami, A.N.M., 2009. Ant colony optimization algorithm. UbiCC J., 4: 823-826.
Direct Link  |  

Samuel, P., R. Mall and A.K. Bothra, 2008. Automatic test case generation using Unified Modeling Language (UML) state diagrams. IET. Software, 2: 79-93.
CrossRef  |  Direct Link  |  

Santiago, V., N.L. Vijaykumar, D. Guimaraes, A.S. Amaral and E. Ferreira, 2008. An environment for automated test case generation from statechart-based and finite state machine-based behavioral models. Proceedings of the IEEE International Conference on Software Testing Verification and Validation Workshop ICSTW'08, April 9-11, 2008, IEEE, Sao Jose Dos Campos, Brazil, ISBN: 978-0-7695-3388-9, pp: 63-72.

Sarma, M. and R. Mall, 2007. Automatic test case generation from UML models. Proceedings of 10th International Conference on Information Technology, Dec. 17-20, Washington, USA., pp: 196-201.

Schieferdecker, I., 2012. Model-based testing. IEEE Software, 29: 14-18.
Direct Link  |  

Shahbaz, M., P. McMinn and M. Stevenson, 2015. Automatic generation of valid and invalid test data for string validation routines using web searches and regular expressions. Sci. Comput. Programming, 97: 405-425.
Direct Link  |  

Shanthi, A.V.K. and G.M. Kumar, 2012. Automated test cases generation from UML sequence diagram. Int. Conf. Software Comput. Appl., 41: 83-89.
Direct Link  |  

Shirole, M. and R. Kumar, 2010. A Hybrid Genetic Algorithm Based Test Case Generation using Sequence Diagrams. In: Contemporary Computing. Sanjay, R., A. Banerjee, K.K. Biswas, S. Dua and P. Mishra (Eds.). Springer, Berlin, Germany, ISBN: 978-3-642-14833-0, pp: 53-63.

Shirole, M., A. Suthar and R. Kumar, 2011. Generation of improved test cases from UML state diagram using genetic algorithm. Proceedings of the 4th India Conference on Software Engineering, February 24-27, 2011, ACM, Thiruvananthapuram, Kerala, India, ISBN:978-1-4503-0559-4, pp: 125-134.

Sumalatha, V.M. and G.S.V.P. Raju, 2012. UML based automated test case generation technique using activity-sequence diagram. Int. J. Comput. Sci. Appl. TIJCSA., 1: 58-71.
Direct Link  |  

Sumalatha, V.M. and G.S.V.P. Raju, 2013. Model based test case generation from UML activity diagrams. Int. J. Comput. Sci. Appl. TIJCSA., 1: 46-57.
Direct Link  |  

Swain, R., V. Panthi, P.K. Behera and D.P. Mahapatra, 2012. Test case generation based on state machine diagram. Int. J. Comput. Inf. Syst., 4: 99-124.
Direct Link  |  

Swain, S.K. and D.P. Mohapatra, 2010. Test case generation from behavioral UML models. Int. J. Comput. Appl., 6: 5-11.
Direct Link  |  

Tahbildar, H. and B. Kalita, 2011. Automated software test data generation: Direction of research. Int. J. Comput. Sci. Eng. Surv., 2: 99-120.
Direct Link  |  

Veanes, M., C. Campbell, W. Grieskamp, W. Schulte and N. Tillmann et al., 2008. Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. In: Formal Methods and Testing. Hierons, R.M., P.B. Jonathan and M. Harman (Eds.). Springer, Berlin, Germany, ISBN: 978-3-540-78916-1, pp: 39-76.

Xing, Y., Y.Z. Gong, Y.W. Wang and X.Z. Zhang, 2015. A hybrid intelligent search algorithm for automatic test data generation. Math. Prob. Eng., Vol. 2015,

Ye, J., Z. Zhan, C. Jin and Q. Zhang, 2009. A Software Test Cases Automated Generation Algorithm Based on Immune Principles. In: Autonomic and Trusted Computing. Jaun, G.N., R. Wolfgang, W. Guojun and J. Indulska (Eds.). Springer, Berlin, Germany, ISBN: 978-3-642-02703-1, pp: 62-74.