Foundations of the Trace Assertion Method of Module Interface Specification.
Ryszard JanickiEmil SekerinskiPublished in: IEEE Trans. Software Eng. (2001)
Keyphrases
- high accuracy
- classification method
- pairwise
- theoretical analysis
- fully automatic
- detection method
- cost function
- preprocessing
- dynamic programming
- support vector machine svm
- high precision
- similarity measure
- experimental evaluation
- em algorithm
- prior knowledge
- synthetic data
- segmentation method
- mathematical model
- matching algorithm
- computational complexity