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
Año de publicación: 2020
Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers
Volumen: 12042 LNCS
Páginas: 159-176
Tipo: Aportación congreso