iConSMutate: Concolic Testing of Database Applications Using Existing Database States Guided by SQL Mutants | IEEE Conference Publication | IEEE Xplore