A set and mapping-based detection and solution method for structure clash between program input and output data | IEEE Conference Publication | IEEE Xplore