Method Sequence Specification and Verification of Classes.
Shekhar H. KiraniWei-Tek TsaiPublished in: J. Object Oriented Program. (1994)
Keyphrases
- preprocessing
- dynamic programming
- experimental evaluation
- pairwise
- computational cost
- high accuracy
- training samples
- fully automatic
- significant improvement
- classification method
- error rate
- verification method
- computational complexity
- formal verification
- signature verification
- segmentation method
- clustering method
- detection algorithm
- theoretical analysis
- support vector machine
- artificial neural networks