A symbolic model checking appproach to verifying transact-SQL. - Rodrigo Diana; Humberto Marques-Neto; Luis E. Zárate; Mark A. J. Song (SMC, 2012)