Typestate Checking of Machine Code.

Zhichen Xu Thomas W. Reps Barton P. Miller

Published in: ESOP (2001)

Keyphrases

source code
database
program understanding
neural network
image sequences
batch processing
error correcting
scheduling problem
evolutionary algorithm
support vector
bayesian networks
database systems
e learning
feature selection
data mining
databases
real time