Efficient generation of test data structures using constraint logic programming and program transformation

DOI10.1093/logcom/ext071zbMath1328.68041OpenAlexW1972058794MaRDI QIDQ3458885

Valerio Senni, Maurizio Proietti, Fabio Fioravanti

Publication date: 28 December 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/ext071

zbMATH Keywords

program transformationconstraint logic programmingblack-box testingbounded exhaustive testinggeneration of data structures

Mathematics Subject Classification ID

Data structures (68P05) Logic programming (68N17)

Related Items (2)

Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms

This page was built for publication: Efficient generation of test data structures using constraint logic programming and program transformation