Debugging Logic Programs Using Specifications
MetadataShow full item record
We show how executable specifications may be used to generate test cases for bug discovery, locate bugs when test data cause a program to fail, and guide deductive and inductive bug correction.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.