Software control flow error detection and correlation with system performance deviation.
Atef ShalanMohammad ZulkerninePublished in: J. Comput. Syst. Sci. (2014)
Keyphrases
- control flow
- error detection
- data flow
- software testing
- error correction
- process model
- error recovery
- data cleansing
- modeling language
- transition systems
- fault tolerance
- test cases
- business process models
- error correcting
- formal semantics
- software systems
- fault isolation
- reactive systems
- fault tolerant
- object oriented