Over-Approximated Control Flow Graph Construction on Pure Esterel.
Chul-Joo KimJeong-Han YunSeonggun KimKwang-Moo ChoeTaisook HanPublished in: IEICE Trans. Inf. Syst. (2010)
Keyphrases
- control flow
- graph construction
- circuit design
- data flow
- k nearest neighbor
- knn
- graph based semi supervised learning
- semi supervised learning
- semi supervised
- software testing
- process model
- dimensionality reduction
- workflow management systems
- label propagation
- spectral clustering
- semi supervised classification
- nearest neighbor search
- linear combination
- multi label
- text classification
- image classification
- nearest neighbor
- data clustering
- neural network
- subspace learning
- formal semantics
- software development
- feature space
- similarity measure
- feature extraction