Soft-Error Detection Using Control Flow Assertions.
Olga GoloubevaMaurizio RebaudengoMatteo Sonza ReordaMassimo ViolantePublished in: DFT (2003)
Keyphrases
- control flow
- error detection
- error correction
- data flow
- error recovery
- data cleansing
- fault tolerance
- process model
- error correcting
- software testing
- fault isolation
- knowledge base
- error control
- workflow management systems
- modeling language
- transition systems
- database
- fault tolerant
- black box
- artificial intelligence
- formal semantics
- load balancing
- test cases
- response time