Statechart-based Verification of Object-Oriented Design Models.

Toshiaki Aoki Takuya Katayama

Published in: APSEC (2007)

Keyphrases

object oriented design
e learning
probabilistic model
source code
building blocks
statistical models
machine learning
information retrieval
decision trees
experimental data