Mining Control Flow Abnormality for Logic Error Isolation.
Chao LiuXifeng YanJiawei HanPublished in: SDM (2006)
Keyphrases
- control flow
- data flow
- transition systems
- software testing
- error rate
- reactive systems
- temporal logic
- model checking
- workflow management systems
- process model
- open source
- high level
- data mining
- memory hierarchy
- e government
- database
- training data
- modeling language
- case study
- decision trees
- business process models
- databases