SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications | Publicación