@inproceedings{inproceedings, title = {{A Framework for Guided Test Case Generation in Constraint Logic Programming}},
publisher = {{Springer Berlin Heidelberg}},
url = {{}},
year = {{2013}},
month = {{1}},
author = {{Rojas JM and Gè´¸mez-Zamalloa M}},
doi = {{10.1007/978-3-642-38197-3_12}},
isbn = {{9783642381966}},
pages = {{176-193}},
note = {{Accessed on 2025/03/13}}}