SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications. - Ricardo Peña; Jaime Sánchez-Hernández; Miguel Garrido; Javier Sagredo (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)