A method for generating program specification from source program - analysis by transforming program structure and argument manipulation.
Takahiro NagaiTakeshi ImanakaJun'ichi ToyodaTsukasa HirashimaKuniaki UeharaYuichi NagasawaPublished in: Systems and Computers in Japan (1995)
Keyphrases
- computational cost
- synthetic data
- detection method
- experimental evaluation
- clustering method
- computer programs
- high precision
- pairwise
- high dimensional
- segmentation method
- significant improvement
- dynamic programming
- computationally efficient
- optimization algorithm
- generation method
- machine learning
- training samples
- prior knowledge
- preprocessing
- feature extraction
- learning algorithm