Using software invariants for dynamic detection of transient errors.
Carlos Arthur Lang LisbôaCarmela Noro GrandoÁlvaro Freitas MoreiraLuigi CarroPublished in: LATW (2009)
Keyphrases
- object detection
- false positives
- software development
- detection accuracy
- detection method
- software systems
- software package
- case study
- software maintenance
- data sets
- software design
- false alarms
- automatic detection
- event detection
- steady state
- detection algorithm
- source code
- user interface
- real time
- development process
- software tools
- error detection
- hardware design