Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software | IEEE Conference Publication | IEEE Xplore