An Integrated Approach to Assertion-Based Random Testing in Prolog.

Ignacio Casso José F. Morales Pedro López-García Manuel V. Hermenegildo

Published in: LOPSTR (2019)

Keyphrases

expert systems
test cases
abstract machine
statistical tests
real time
optimal solution
knowledge base
artificial neural networks
general purpose
logic programming
test data
software testing
test generation
heavy tailed
logic programming language
programming paradigms
social networks