A framework for regression testing SQL in the Starcounter DBMS