The Constraint Database Approach to Software Verification.

Peter Z. Revesz

Published in: VMCAI (2007)

Keyphrases

database
database systems
databases
database management systems
real time
data sets
genetic algorithm
relational databases
real world
metadata
website
artificial neural networks
database applications
database schema
constraint solving