On-line Software Error Detection by Executable Assertions: From Theory to Practice.
Christophe RabéjacPublished in: SAFECOMP (1995)
Keyphrases
- error detection
- error correction
- error recovery
- error correcting
- theoretical insights
- theoretical framework
- expert systems
- data cleansing
- software industry
- computer systems
- knowledge base
- software architecture
- control flow
- software development
- theoretical frameworks
- fault tolerance
- load balancing
- test cases
- source code