SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs.
Devika SondhiRahul PurandarePublished 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