White-box path generation in recursive programs

DOI10.1007/978-3-030-57761-2_6zbMath1475.68068OpenAlexW3082174759MaRDI QIDQ2037428

Jaime Sánchez-Hernández, Ricardo Peña

Publication date: 1 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-57761-2_6

zbMATH Keywords

recursion depthstatic pathwhite-box testing

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: White-box path generation in recursive programs