Using dynamic invariant detection to support the testing and analysis of database applications
database testing
invariant detection
software testing
University of Ulm
Details
Reference
@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}
}