Replication Data for: Model-based test case generation and prioritization: A systematic literature review

Context: Model-based test case generation (MB-TCG) and prioritization (MB-TCP) utilize models that represent the system under test (SUT) for test generation and prioritization in software testing. They are based on model-based testing (MBT), a technique that facilitates automation in testing. Automated testing is indispensable for testing complex and industrial size systems because of its advantages over manual testing. In recent years, MB-TCG and MB-TCP publications have shown an encouraging growth. However, the empirical studies done to validate these approaches must not be taken lightly because they reflect the validity of the results, and whether these approaches are generalizable to the industrial context. Objective: This systematic review aims at identifying and reviewing the state-of-the-art for MB-TCG, MB-TCP, and the approaches that combined MB-TCG and MB-TCP. Method: The needs for this review were used to design the research questions. Keywords extracted from the research questions were utilized to search for studies in the literature that will answer the research questions. Prospective studies also underwent a quality assessment to ensure that only studies with sufficient quality were selected. All the research data of this review were also available in a public repository for full transparency. Result: 80 primary studies were finalized and selected. There were 64, 11 and five studies proposed for MB-TCG, MB-TCP, and MB-TCG and MB-TCP combination approaches, respectively. Conclusion: One of the main findings is that the most common limitations in the existing approaches are dependency on specifications, need for manual interventions, and scalability issue.