Estimating Exception-Induced Control Flow for Java.
Byeong-Mo ChangJang-Wu JoPublished in: APLAS (2001)
Keyphrases
- control flow
- data flow
- process model
- software testing
- programming language
- object oriented
- open source
- transition systems
- exception handling
- workflow management systems
- formal semantics
- database applications
- modeling language
- web services
- decision making
- artificial intelligence
- reactive systems
- business process models
- information technology
- case study
- learning algorithm