TEST-CASE PRIORITIZATIONWITH MODEL-CHECKERS

The order in which test-cases are executed has an influ-ence on the rate at which faults can be detected. In this paper we demonstrate how test-case prioritization can be performed with the use of model-checkers. For this, dif-ferent well known prioritization techniques are adapted for model-based use. New property based prioritization tech-niques are introduced. In addition it is shown that priori-tization can be done at test-case generation time, thus re-moving the need for test-suite post-processing. Several ex-periments are used to show the validity of these ideas