Login / Signup
An overview of JML tools and applications.
Lilian Burdy
Yoonsik Cheon
David R. Cok
Michael D. Ernst
Joseph Kiniry
Gary T. Leavens
K. Rustan M. Leino
Erik Poll
Published in:
Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
</>
neural network
software tools
real time
genetic algorithm
data model
data mining
e learning
decision trees
case study
high level
decision support
data mining tools
visualization tools