Model-based testing using UML activity diagrams: A systematic mapping study

Ammann, 2008 Linzhang, 2004, Generating test cases from UML activity diagram based on Gray-box method, 284 Beizer, 1990 El-Far, 2002 Utting, 2007 Williams, 1999, Software testing and the UML, 2 Jorgensen, 2016 Hong, 2000, A test sequence selection method for statecharts, Softw. Test. Verif. Reliab., 10, 203, 10.1002/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2 Whittaker, 1994, A markov chain model for statistical software testing, IEEE Trans. Softw. Eng., 20, 812, 10.1109/32.328991 OMG, Unified Modeling Language v2.5, http://www.omg.org/spec/UML/2.5/, retrieved: August, 2016. Heinecke, 2010, Generating test plans for acceptance tests from UML activity diagrams, 57 Petersen, 2015, Guidelines for conducting systematic mapping studies in software engineering: An update, Inf. Softw. Technol., 64, 1, 10.1016/j.infsof.2015.03.007 Petersen, 2008, Systematic mapping studies in software engineering, 68 Shirole, 2013, UML behavioral model based test case generation: A survey, SIGSOFT Softw. Eng. Notes, 38, 1, 10.1145/2492248.2492274 Singh, 2014, Test case generation for object-oriented systems: A review, 981 Priya, 2013, Test case generation from UML models-a survey, 449 Kaur, 2012, Systematic review of automatic test case generation by UML diagrams, Int’l. J. Eng. Res. Technol., 1, 17 B. Kitchenham, S. Charters, Guidelines for performing systematic literature reviews in software engineering, Technical Report EBSE-2007-01, Software Engineering Group, School of Computer Science and Mathematics, Keele University, Keele, Staffs, UK and Dept. of Computer Science, University of Durham, Durham, UK, (January 2007). Störrle, 2005, Semantics and verification of data flow in UML 2.0 activities, Electron. Notes Theor. Comput. Sci., 127, 35, 10.1016/j.entcs.2004.08.046 OMG, UML superstructure specification v2. 0 (2005). Utting, 2012, A taxonomy of model-based testing approaches, Softw. Test. Verif. Reliab., 22, 297, 10.1002/stvr.456 Adrion, 1982, Validation, verification, and testing of computer software, ACM Comput. Surv., 14, 159, 10.1145/356876.356879 Andrews, 2003, Test adequacy criteria for UML design models, Softw. Test. Verif. Reliab., 13, 95, 10.1002/stvr.270 McQuillan, 2005 Jalali, 2012, Systematic literature studies: database searches vs. backward snowballing, 29 Dybå, 2007, Applying systematic reviews to diverse study types: An experience report, 225 Ashraf, 2018, Distributed virtual machine consolidation: A systematic mapping study, Comput. Sci. Rev., 28, 118, 10.1016/j.cosrev.2018.02.003 Usman, 2014, Effort estimation in agile software development: A systematic literature review, 82 Chandler, 2005, Ad2US: an automated approach to generating usage scenarios from UML activity diagrams, 8 Xu, 2005, Using adaptive agents to automatically generate test scenarios from the uml activity diagrams, 8 Tiwari, 2013, An approach to generate safety validation test cases from uml activity diagram, 189 Bai, 2004, An approach to generate the thin-threads from the UML diagrams, 546 Sun, 2008, A transformation-based approach to generating scenario-oriented test Cases from UML activity diagrams for concurrent applications, 160 Sun, 2016, Improving defect detection ability of derived test cases based on mutated UML activity diagrams, 275 Samuel, 2009, Slicing-based test case generation from UML activity diagrams, SIGSOFT Softw. Eng. Notes, 34, 1, 10.1145/1640162.1666579 Shirole, 2012, Testing for concurrency in UML diagrams, SIGSOFT Softw. Eng. Notes, 37, 1, 10.1145/2347696.2347712 Shirole, 2015, Test scenario selection for concurrency testing from UML models, 531 Hettab, 2008, A graph transformation approach for automatic test cases generation from UML activity diagrams, 88 Kundu, 2009, A novel approach to generate test cases from UML activity diagram, J. Object Technol., 8, 65, 10.5381/jot.2009.8.3.a1 Boghdady, 2011, An enhanced test case generation technique based on activity diagrams, 289 Khandai, 2011, Test case generation for concurrent system using UML combinational diagram, Int’l. J. Comput. Sci. Inf. Technol., 2 Sumalatha, 2012, An model based test case generation technique using genetic algorithms, Int’l. J. Comput. Sci., 1, 46 Boghdady, 2012, Automatic generation of multi-testing types test cases using requirements-based testing, 249 Shirole, 2012, Transition sequence exploration of UML activity diagram using evolutionary algorithm, 97 Mahali, 2013, Model based test case prioritization using UML activity diagram and evolutionary algorithm, Int’l. J. Comput. Sci. Inform., 3, 42 Nejad, 2016, Using memetic algorithms for test case prioritization in model based software testing, 142 Li, 2013, Extenics-based test case generation for UML activity diagram, 1186 Nayak, 2011, Synthesis of test scenarios using UML activity diagrams, Softw. Syst. Model., 10, 63, 10.1007/s10270-009-0133-4 Chen, 2009, Uml activity diagram-based automatic test case generation for java programs, Comput. J., 52, 545, 10.1093/comjnl/bxm057 G., 2008, Automated scenario generation based on uml activity diagrams, 209 Farooq, 2009, A max-min multi objective technique to optimize model based test suite, 569 a Sun, 2009, TSGen: A UML activity diagram-based test scenario generation tool, 853 Sapna, 2009, Using similarity measures for test scenario selection, 386 Ye, 2012, Regression test cases generation based on automatic model revision, 127 Li, 2014, ADAutomation: An activity diagram based automated GUI testing framework for smartphone applications, 68 Lei, 2008, Uml activity diagram based testing of java concurrent programs for data race and inconsistency, 200 Gantait, 2011, Test case generation and prioritization from UML models, 345 Yuan, 2008, A model driven approach toward business process test case generation, 41 Tiwari, 2015, An approach of generating test requirements for Agile software development, 186 Akour, 2016, ADBT Frame work as a testing technique: An improvement in comparison with traditional model based testing, Int’l. J. Adv. Comput. Sci. Appl., 7, 7 Kansomkeat, 2010, Generating test cases from UML activity diagrams using the condition-classification tree method, 62 Sun, 2016, A transformation-based approach to testing concurrent programs using UML activity diagrams, Softw.-Pract. Exp., 46, 551, 10.1002/spe.2324 Hartmann, 2005, A UML-based approach to system testing, Innov. Syst. Softw. Eng., 1, 12, 10.1007/s11334-005-0006-0 Vieira, 2006, Automation of GUI testing using a model-driven approach, 9 Chen, 2010, Efficient test case generation for validation of UML activity diagrams, Des. Autom. Embedded Syst., 14, 105, 10.1007/s10617-010-9052-4 Farooq, 2008, Towards automated test sequence generation, 441 Fan, 2009, Test case generation from UML subactivity and activity diagram, 244 Balcer, 1989, Automatic generation of test scripts from formal test specifications, 210 Farooq, 2007, Transformation methodology for UML 2.0 activity diagram into colored petri nets, Adv. Comput. Sci. Technol., 128 Cimatti, 1999, Nusmv: A new symbolic model verifier, 495 OpenFTA, http://www.openfta.com/, retrieved: April, 2017. Warmer, 1999 Cadence, SMV Model Checker, http://www.kenmcmil.com/smv.html, retrieved: April, 2017. The Yices SMT Solver, http://yices.csl.sri.com/, retrieved: April, 2017. Korel, 1990, Automated software test data generation, IEEE Trans. Softw. Eng., 16, 870, 10.1109/32.57624 Beall, 2013, Medical publishing triage - chronicling predatory open access publishers, Ann. Med. Surgery, 2, 47, 10.1016/S2049-0801(13)70035-9 Cobey, 2018, What is a predatory journal?: A scoping review Berger, 2017, Everything you ever wanted to know about predatory publishing but were afraid to ask Chung, 2009, On non-functional requirements in software engineering, 363