Testing and reliability of logic programs.

Alireza Azem, Fevzi Belli, Oliver Jack, Piotr Jedrzejowicz

Browse the full ISSRE paper archive.