Published in: LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011)
Lukas Bulwahn. Smart test data generators via logic programming. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 139-150, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{bulwahn:LIPIcs.ICLP.2011.139, author = {Bulwahn, Lukas}, title = {{Smart test data generators via logic programming}}, booktitle = {Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)}, pages = {139--150}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-31-6}, ISSN = {1868-8969}, year = {2011}, volume = {11}, editor = {Gallagher, John P. and Gelfond, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.139}, URN = {urn:nbn:de:0030-drops-31703}, doi = {10.4230/LIPIcs.ICLP.2011.139}, annote = {Keywords: specification-based testing, functional programming} }
Feedback for Dagstuhl Publishing