CEDA: Control-flow Error Detection through Assertions.
Ramtilak VemuJacob A. AbrahamPublished in: IOLTS (2006)
Keyphrases
- error detection
- control flow
- data flow
- error correction
- error recovery
- data cleansing
- fault tolerance
- error correcting
- software testing
- knowledge base
- process model
- workflow management systems
- fault isolation
- transition systems
- modeling language
- business process models
- workflow processes
- memory hierarchy
- formal semantics
- high level