%0 Conference Paper %1 conf/lpnmr/GresslerOT17 %A Greßler, Alexander %A Oetsch, Johannes %A Tompits, Hans %B LPNMR %D 2017 %E Balduccini, Marcello %E Janhunen, Tomi %I Springer %K dblp %P 229-235 %T Harvey : A System for Random Testing in ASP. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2017.html#GresslerOT17 %V 10377 %@ 978-3-319-61660-5

@inproceedings{conf/lpnmr/GresslerOT17, added-at = {2022-12-07T00:00:00.000+0100}, author = {Greßler, Alexander and Oetsch, Johannes and Tompits, Hans}, biburl = {https://www.bibsonomy.org/bibtex/245b04b1f8ac6a4d597524ae178fe79ac/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2017}, editor = {Balduccini, Marcello and Janhunen, Tomi}, ee = {https://doi.org/10.1007/978-3-319-61660-5_21}, interhash = {b800f59e82f7c082202d71e3754fe481}, intrahash = {45b04b1f8ac6a4d597524ae178fe79ac}, isbn = {978-3-319-61660-5}, keywords = {dblp}, pages = {229-235}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:45:43.000+0200}, title = {\mathsf Harvey : A System for Random Testing in ASP.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2017.html#GresslerOT17}, volume = 10377, year = 2017 }