Path Sensitive Signatures for Control Flow Error Detection.
Ze ZhangSunghyun ParkScott A. MahlkePublished in: LCTES (2020)
Keyphrases
- control flow
- error detection
- error correction
- data flow
- error recovery
- data cleansing
- error correcting
- fault tolerance
- software testing
- process model
- fault isolation
- error resilient
- error control
- transition systems
- workflow management systems
- modeling language
- formal semantics
- memory hierarchy
- business process models
- load balancing