Contessa: Concurrency Testing Augmented with Symbolic Analysis.

Sudipta Kundu Malay K. Ganai Chao Wang

Published in: CAV (2010)

Keyphrases

quantitative analysis
statistical analysis
databases
neural network
computer vision
information systems
knowledge base
clustering algorithm
case study
database systems
relational databases
evolutionary algorithm