Semantic characterisation of dead control-flow paths.
Ian J. HayesColin J. FidgeKarl LermerPublished in: IEE Proc. Softw. (2001)
Keyphrases
- control flow
- data flow
- software testing
- high level
- reactive systems
- natural language
- workflow management systems
- modeling language
- shortest path
- process model
- transition systems
- business process models
- test cases
- semantic web
- case study
- artificial intelligence
- semantic information
- software engineering
- formal semantics
- decision making
- event logs
- memory hierarchy
- machine learning
- real world