Smart test data generators via logic programming

Lukas Bulwahn. Smart test data generators via logic programming. In John P. Gallagher, Michael Gelfond, editors, Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA. Volume 11 of LIPIcs, pages 139-150, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]

Abstract

Abstract is missing.