Replication Data for: Model-based test case generation and prioritization: A systematic literature review
<|begin_of_text|><|start_header_id|>system<|end_header_id|> You are a research archivist expert in dataset metadata. Answer the question truthfully.  <|eot_id|><|start_header_id|>user<|end_header_id|> Here is the Description of a dataset. Description:'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' . Please return only a json list of at most 3 Keywords corresponding to the Description:.<|eot_id|><|start_header_id|>assistant<|end_header_id|> {"Answer" : ["Model-based testing","Systematic literature review","Test case generation","Test case prioritization"]} <|eot_id|>
 Here is the Description of a dataset. Description:'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' . Please return only a json list of at most 3 Keywords corresponding to the Description:.
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
Model-based testing; Systematic literature review; Test case generation; Test case prioritization