SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs.

Devika Sondhi Rahul Purandare

Published in: ASE (2019)

Keyphrases

high level
semantic heterogeneity
error correcting
source code
code generation
semantic information
semantic search
knowledge base

semantic knowledge
regular expressions
semantic web
pattern matching
model checking
data structure
semantic analysis

formal specification
semantic representation
databases
metadata
suffix array
error detection
specification language

natural language
object oriented
semantic relationships
data flow
input data
semantic network
domain ontology