An Integrated Approach to Assertion-Based Random Testing in Prolog | Publicación