Voltar
Artigo Acesso aberto Produção Nacional
BIBTEX RIS

Automatically Finding Hidden Industrial Criteria used in Test Selection

2016; Volume: 2016; Linguagem: Inglês

10.18293/seke2016-198

ISSN

2325-9000

Autores

Cláudio Magalhães, Alexandre Mota, Eliot Maia,

Tópico(s)

Formal Methods in Verification

Resumo

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.

Referência(s)