SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications
- Peña, R.
- Sánchez-Hernández, J.
- Garrido, M.
- Sagredo, J.
ISSN: 1611-3349, 0302-9743
Argitalpen urtea: 2023
Alea: 13160 LNCS
Orrialdeak: 188-205
Mota: Liburuko kapitulua