JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking.
Amirfarhad NilizadehGary T. LeavensCorina S. PasareanuYannic NollerPublished in: Formal Aspects Comput. (2024)
Keyphrases
- semantic analysis
- semantic level
- automatic detection
- semantic annotation
- semantic web
- software systems
- semantic network
- semantic features
- semantic information
- semantic knowledge
- search space
- semantic representation
- low level features
- semantic search
- semantic concepts
- semantic interpretation
- semantic description
- context dependent
- software projects
- semantic similarity
- information systems
- domain ontology
- source code
- artificial neural networks
- natural language
- high level
- metadata