CEDA: Control-Flow Error Detection Using Assertions.
Ramtilak VemuJacob A. AbrahamPublished in: IEEE Trans. Computers (2011)
Keyphrases
- control flow
- error detection
- error correction
- data flow
- error recovery
- data cleansing
- software testing
- error correcting
- fault tolerance
- process model
- knowledge base
- fault isolation
- transition systems
- workflow management systems
- modeling language
- software engineering
- memory hierarchy
- business process models
- fault tolerant