Using dynamic invariant detection to support the testing and analysis of database applications

@misc{Kapfhammer2012,
 addendum = {Joint work with Jake Cobb, James A.\ Jones, Mary Jean Harrold, and
Jonathan Miller Kauffman},
 author = {Gregory M. Kapfhammer},
 howpublished = {University of Ulm},
 title = {Using dynamic invariant detection to support the testing and analysis
of database applications},
 year = {2012}
}