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
Argitalpen urtea: 2020
Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers
Alea: 12042 LNCS
Orrialdeak: 159-176
Mota: Biltzar ekarpena