DeBinelle: Semantic Patches for Coupled Database-Application Evolution | IEEE Conference Publication | IEEE Xplore