Using assertions in declarative and operational models for automated debugging

This publication has 9 references indexed in Scilit:

• Programming language RIGAL as a compiler writing tool
  ACM SIGPLAN Notices, 1990
• Dependency-Directed Localization of Software Bugs
  Published by Defense Technical Information Center (DTIC) ,1989
• PELAS-program error-locating assistant system
  IEEE Transactions on Software Engineering, 1988
• The category-partition method for specifying and generating fuctional tests
  Communications of the ACM, 1988
• Knowledge-Based Program Debugging Systems
  IEEE Software, 1987
• Program Slicing
  IEEE Transactions on Software Engineering, 1984
• Symbolic debugging through incremental compilation in an integrated environment
  Journal of Systems and Software, 1983
• Understanding and debugging programs
  International Journal of Man-Machine Studies, 1980
• Reliability Issues in Computing System Design
  ACM Computing Surveys, 1978