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

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

Full description

Bibliographic Details
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: