Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning.
Thanh Le-CongDuc-Minh LuongXuan-Bach Dinh LeDavid LoNhat-Hoa TranBui Quang HuyQuyet-Thang HuynhPublished in: IEEE Trans. Software Eng. (2023)
Keyphrases
- syntactic semantic
- natural language
- semantic representation
- semantic representations
- semantic parsing
- syntactic structures
- knowledge base
- context dependent
- semantic constraints
- image patches
- recognizing textual entailment
- semantic knowledge
- semantic roles
- semantic web
- knowledge representation
- natural language sentences
- logical reasoning
- semi automated
- natural language text
- natural language understanding
- reasoning systems
- shallow semantic
- text representation
- compositional semantics
- computational properties
- semantic network
- semantic annotation
- semantic information
- domain specific
- semantic description
- textual entailment
- semantic content
- syntactic analysis
- semantic features
- semantic analysis
- semi automatic
- natural images
- high level