Testing and Analysis of Database Applications
Test Oracles
- Dynamic Invariant Detection for Relational Databases. Jake Cobb, Gregory M Kapfhammer, James A. Jones, Mary Jean Harrold. WODA 2011. [Abstract] [BibTex] [Full text in pdf] [Slides]
- An Informatics Framework for Testing Data Integrity and Correctness of Federated Biomedical Databases. Mijung Kim, Tahsin Kurc, Alessandro Orso, Jake Cobb, David Gutman, Mary Jean Harrold, Adrew Post, Ashish Sharma, Joel Saltz. AMIA-CRI 2011. [Abstract] [BibTex] [Full text in pdf] [Slides]
Database Provenance