SynConSMutate: Concolic Testing of Database Applications via Synthetic Data Guided by SQL Mutants | IEEE Conference Publication | IEEE Xplore