Random Additive Control Flow Error Detection.
Jens VankeirsbilckNiels PennemanHans HallezJeroen BoydensPublished in: SAFECOMP (2018)
Keyphrases
- control flow
- error detection
- error correction
- data flow
- error recovery
- process model
- data cleansing
- error correcting
- fault tolerance
- fault isolation
- transition systems
- software testing
- business process models
- workflow management systems
- error control
- formal semantics
- modeling language
- digital libraries
- artificial intelligence
- databases