Logic Program Testing Based on Abstract Interpretation

Lunjin Lu and Peter Greenfield

Bibtex Record

@article {LuFMPA93,
author = {L. Lu and P. Greenfield},
title = {Logic Program Testing Based on Abstract Interpretation},
year = 1993,
pages = {170-180},
journal = {Lecture Notes in Computer Science},
volume =735,
keywords = {Testing and Logic Programming},
url = {http://www.oakland.edu/~l2lu/pubs/Testing.ps}
}