Export: An integrated approach to assertion-based random testing in Prolog

Casso, Ignacio de and Morales Caballero, José Francisco and López García, Pedro and Hermenegildo, Manuel V. (2019). An integrated approach to assertion-based random testing in Prolog. In: "29th International Symposium on Logic-Based Program Synthesis and Transformation ( LOPSTR 2019)", 8-10 Oct 2019, Oporto, Portugal. ISBN 978-3-030-45259-9. pp. 159-176. https://doi.org/10.1007/978-3-030-45260-5_10.

Please select an output format:

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM