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

• Development of a Data Provenance Analysis Tool for Python Bytecode. BS Thesis. 2015. [PDF]
• MINESTRONE: Testing the SOUP. [PDF]
• Convicting Exploitable Software Vulnerabilities: An Efficient Input Provenance Based Approach. DSN 08 [PDF]