SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications.

Published in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)