An Integrated Approach to Assertion-Based Random Testing in Prolog
- Casso, I.
- Morales, J.F.
- López-García, P.
- Hermenegildo, M.V.
ISSN: 1611-3349, 0302-9743
ISBN: 9783030452599
Year of publication: 2020
Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers
Volume: 12042 LNCS
Pages: 159-176
Type: Conference paper