JMCTest: Automatically Testing Inter-Method Contracts in Java.
Paul BördingJan HaltermannMarie-Christine JakobsHeike WehrheimPublished in: ICTSS (2018)
Keyphrases
- experimental evaluation
- high accuracy
- similarity measure
- cost function
- detection method
- high precision
- preprocessing
- prior knowledge
- support vector machine
- segmentation method
- completely automatic
- genetic algorithm
- evaluation method
- fully automatic
- synthetic data
- optimization algorithm
- support vector machine svm
- computationally efficient
- open source
- multiresolution
- objective function