TY  - GEN 
AU  - Jiménez Gil, Samuel
AU  - Capel Tuñón, Manuel Isidoro
AU  - Olea Olea, Gabriel
PY  - 2024
UR  - https://hdl.handle.net/10481/92719
AB  - Context: Software verification for critical systems is facing an unprecedented cost increase due to the large
amount of software packed in multicore platforms generally. A substantial amount of the verification efforts
are dedicated to testing....
LA  - eng
PB  - Elsevier
KW  - Automatic test cases generation
KW  - Software testing
KW  - Formal methods
TI  - Automatic test cases generation from formal contracts
DO  - 10.1016/j.infsof.2024.107467
ER  -