Fabio Fioravanti, Maurizio Proietti, Valerio Senni. Efficient generation of test data structures using constraint logic programming and program transformation. Journal of Logic and Computation, 25(6):1263-1283, 2015. [doi]
@article{FioravantiPS15, title = {Efficient generation of test data structures using constraint logic programming and program transformation}, author = {Fabio Fioravanti and Maurizio Proietti and Valerio Senni}, year = {2015}, doi = {10.1093/logcom/ext071}, url = {http://dx.doi.org/10.1093/logcom/ext071}, researchr = {https://researchr.org/publication/FioravantiPS15}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {25}, number = {6}, pages = {1263-1283}, }