Detecting Semantic Conflicts using Static Analysis.
Galileu Santos de JesusPaulo BorbaRodrigo BonifácioMatheus Barbosa de OliveiraPublished in: CoRR (2023)
Keyphrases
- static analysis
- dynamic analysis
- source code
- symbolic execution
- regular expressions
- malicious code
- semantic information
- semantic similarity
- natural language
- java card
- test generation
- conflict resolution
- abstract interpretation
- artificial intelligence
- test suite
- domain ontology
- domain specific
- case study
- object oriented databases
- co occurrence
- domain knowledge
- resolving conflicts