White-box path generation in recursive programs

DOI10.1007/978-3-030-57761-2_6MaRDI QIDQ2037428zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 5734815
• scientific article; zbMATH DE number 176743
• scientific article; zbMATH DE number 4124987
• scientific article; zbMATH DE number 3845026
• Efficient and Provable White-Box Primitives
• Program inversion for tail recursive functions
• scientific article; zbMATH DE number 3963179

Cited in

(1)

• scientific article; zbMATH DE number 5734815 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2037428)