Javier Tuya José Javier Dolado María José Suárez Cabal Claudio de la Riva A controlled experiment on white-box database testing. 2008 11 ACM SIGSOFT Software Engineering Notes 1 http://doi.acm.org/10.1145/1344452.1344462 db/journals/sigsoft/sigsoft33.html#TuyaDCR08