Javier Sagredo

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Object Oriented Systems

Test Case Generation

Top Venues

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Publications

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