Academic Editor: Youssef EL FOUTAYENI
Received |
Accepted |
Published |
January 31, 2021 |
February 15, 2021 |
March 15, 2021 |
Abstract: The software testing(1) is becoming an essential part of any product life cycle(2), because it aims to ensure the quality of the system by detecting its defaults before deployment, and by being based on a techniques and approaches which are qualified to help efficiently. Model-based testing(3) is a prominent validation technique in software testing that uses models of the system under test(4) to automatically generate test cases(5); this generation leads to a large number of test cases; which cannot exhaustively be executed, due to time and cost constraints. Moreover, the test-cases ...