Daniel Hoffman, Paul A. Strooper. Automated Module Testing in Prolog. IEEE Trans. Software Eng., 17(9):934-943, 1991. [doi]
@article{HoffmanS91, title = {Automated Module Testing in Prolog}, author = {Daniel Hoffman and Paul A. Strooper}, year = {1991}, url = {http://www.computer.org/tse/ts1991/e0934abs.htm}, tags = {Prolog, testing}, researchr = {https://researchr.org/publication/HoffmanS91}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {17}, number = {9}, pages = {934-943}, }