Efficient generation of test data structures using constraint logic programming and program transformation
From MaRDI portal
Publication:3458885
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
program transformationconstraint logic programmingblack-box testingbounded exhaustive testinggeneration of data structures
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