Publicaciones en las que colabora con JAIME SÁNCHEZ HERNÁNDEZ (3)

2023

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

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 188-205

2020

  1. White-Box Path Generation in Recursive Programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. A generic intermediate representation for verification condition generation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)