An Enhanced Equivalence Checking Method to Handle Bugs in Programs with Recurrences.
Sudakshina DuttaDipankar SarkarPublished in: ENASE (2016)
Keyphrases
- detection method
- high precision
- evaluation method
- pairwise
- experimental evaluation
- high accuracy
- main contribution
- classification method
- preprocessing
- fully automatic
- data sets
- clustering method
- synthetic data
- support vector machine svm
- optimization method
- software systems
- significant improvement
- objective function
- machine learning