A note on the detection of an Ada compiler bug while debugging an Anna program.
Sriram SankarPublished in: ACM SIGPLAN Notices (1989)
Keyphrases
- programs written
- source code
- java programs
- fault localization
- programming language
- detection method
- general purpose
- hardware designs
- execution traces
- computer programs
- software systems
- object detection
- detection algorithm
- operating system
- program slicing
- false alarms
- event detection
- detection rate
- detection accuracy
- false positives
- test cases
- program understanding