Verifying correct usage of atomic blocks and typestate.

Nels E. Beckman Kevin Bierhoff Jonathan Aldrich

Published in: OOPSLA (2008)

Keyphrases

databases
usage patterns
fractal image coding
neural network
case study
probabilistic model
model checking
usage data
learning algorithm
similarity measure
wide range
learning environment
artificial neural networks