Control Flow Refinement and Symbolic Computation of Average Case Bound.
Hong Yi ChenSupratik MukhopadhyayZheng LuPublished in: ATVA (2013)
Keyphrases
- average case
- control flow
- worst case
- worst case analysis
- data flow
- upper bound
- vc dimension
- process model
- learning curves
- lower bound
- uniform distribution
- software testing
- workflow management systems
- average case complexity
- modeling language
- np hard
- machine learning
- business process models
- data sets
- learning algorithm
- sample complexity
- sample size
- object oriented
- formal semantics
- e learning