María José Suárez Cabal Claudio de la Riva Javier Tuya Generación de Pruebas Basada en Restricciones para Consultas SQL. 9-20 2009 JISBD conf/jisbd/2009 db/conf/jisbd/jisbd2009.html#CabalRT09