SAT-Based Combinatorial Testing 

Torres Montiel, Eduard (Fecha de defensa: 2022-10-07)

En aquesta tesi ens centrem en el problema de Combinatorial Testing mitjançant l'aplicació de la tecnologia de Satisfactibilitat. L'objectiu de CT és proveir d'un conjunt de proves que permeti capturar la majoria dels ...