All Authors
All Research Categories
All Years
<< Prev 1 2 3 4 5 [6...10] [11...15] [16...20] [21...25] [26...29] Next >> [All publications]
A Unified Approach for Localizing Non-deadlock Concurrency Bugs. Sangmin Park, Richard Vuduc, Mary Jean Harrold. International Conference on Software Testing, Verification and Validation (ICST 2012), Montreal, QC, April 2012, pp. 51-60.
[Abstract] [BibTex] [Full text in pdf] [Slides]
Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs. Saswat Anand, Mary Jean Harrold. IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 2011.
[Abstract] [BibTex] [Full text in pdf] [Slides]
Localizing SQL Faults in Database Applications. Sarah Ruth-Evelyn Clark, Jake Cobb, Gregory M Kapfhammer, James A. Jones, Mary Jean Harrold. IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, November 2011.
[Abstract] [BibTex] [Full text in pdf] [Slides]
Dynamic Invariant Detection for Relational Databases. Jake Cobb, Gregory M Kapfhammer, James A. Jones, Mary Jean Harrold. Workshop on Dynamic Analysis (WODA 2011), Toronto, ON, Canada, July 2011, pp. 12-17.
[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 Summit on Clinical Research Informatics (AMIA-CRI 2011), San Francisco, CA, March 2011, pp. 22-26.
[Abstract] [BibTex] [Full text in pdf] [Slides]
Top of page
Copyright notice:
We present this material to ensure the timely dissemination of our work.
All persons copying this material must adhere to the
terms of the relevant copyrights.