SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs
Devika Sondhi, Rahul Purandare. SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs. 34th IEEE/ACM International Conference on Automated Software Engineering (ASE'19). IEEE, San Diego, CA, USA. 200-212.