Javier Sagredo

According to our database, Javier Sagredo authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

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

Ricardo Peña, Jaime Sánchez-Hernández, Miguel Garrido, Javier Sagredo

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023