TY  - GEN 
AU  - Castro Cabrera, María Carmen
AU  - García-Domínguez, Antonio
AU  - Medina Bulo, María Inmaculada
A4  - Ingeniería Informática
PY  - 2022
SN  - 978-1-61208-997-3
SN  - 2308-4235
UR  - http://hdl.handle.net/10498/38437
AB  - This paper within the advances in software testing is related to the generation of test suites and black box testing. Test coverage is a popular technique to evaluate test quality: a test suite that can exercise a large part of the paths in a program...
LA  - eng
PB  - Lugi Lavazza, University of Insubria at Varese, Italy
KW  - Model-based Testing
KW  - Path Coverage
KW  - Constraint Programming
KW  - GraphWalker
KW  - MiniZinc
TI  - A Case Study on Combining Model-based Testing and Constraint Programming for Path Coverage
ER  -