A case study in class library verification: Java's vector class.

Marieke Huisman Bart Jacobs Joachim van den Berg

Published in: Int. J. Softw. Tools Technol. Transf. (2001)

Keyphrases

data sets
open source
operating system
real time
learning algorithm
feature extraction
evolutionary algorithm
object oriented
database applications
object classes
class specific
input vector