SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications
Crossref DOI link: https://doi.org/10.1007/978-3-031-31476-6_10
Published Online: 2023-05-17
Published Print: 2023
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Peña, Ricardo http://orcid.org/0000-0001-5387-8931
Sánchez-Hernández, Jaime http://orcid.org/0000-0002-8940-5543
Garrido, Miguel
Sagredo, Javier
Text and Data Mining valid from 2023-01-01
Version of Record valid from 2023-01-01
Chapter History
First Online: 17 May 2023