SAT-Based Combinatorial Testing 

Torres Montiel, Eduard (Date of defense: 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 ...