Automated Formal Testing of C API Using T2C Framework.

Alexey V. Khoroshilov Vladimir V. Rubanov Eugene A. Shatokhin

Published in: ISoLA (2008)

Keyphrases

main contribution
database
decision trees
neural network
learning algorithm
artificial intelligence
website
case study
database systems
video sequences
natural language
theoretical framework
bayesian framework
conceptual framework
meta level