Model-based test case generation and prioritization: a systematic literature review

• Main Authors: Mohd. Shafie, Muhammad Luqman, Wan Kadir, Wan Mohd. Nasir, Lichter, Horst, Muhammad Khatibsyarbini, Muhammad Khatibsyarbini, Isa, Mohd. Adham
• Format: Article
• Published: Springer Science and Business Media Deutschland GmbH 2022
• Subjects: QA75 Electronic computers. Computer science; QA76 Computer software
• Online Access: http://eprints.utm.my/104128/; http://dx.doi.org/10.1007/s10270-021-00924-8
• Institution: Universiti Teknologi Malaysia

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 testi...