Shrinking a database to perform SQL mutation tests using an evolutionary algorithm | IEEE Conference Publication | IEEE Xplore