Automated Database Applications Testing: Specification Representation for Automated Reasoning 2010 · ENGLISH · PDF View details →