Automatically Finding Hidden Industrial Criteria used in Test Selection
Cláudio Magalhães, Alexandre Mota, Eliot Maia · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 2016
In this paper we propose a way to find weights of a ranking function semi-automatically.From the manual choices made by (experienced) human test architects, our idea is to propose an optimization model that tries to find the necessary weights automatically.We present some experiments by encoding our optimization model in the Z3 SMT solver and using real Motorola Mobility 1 data.