Rodrigo Diana, Humberto Marques-Neto, Luis E. Zárate, Mark A. J. Song. A symbolic model checking appproach to verifying transact-SQL. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012, Seoul, Korea (South), October 14-17, 2012. pages 1735-1741, IEEE, 2012. [doi]
Abstract is missing.