Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report.
Han WangMin ZhouXi ChengGuang ChenMing GuPublished in: SATE (2018)
Keyphrases
- static analysis
- dynamic analysis
- source code
- symbolic execution
- malicious code
- semantic information
- regular expressions
- semantic similarity
- abstract interpretation
- java card
- test generation
- defect detection
- domain specific
- natural language
- databases
- data sets
- domain ontology
- test cases
- semantic web
- artificial intelligence