Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations.
Huaien ZhangYu PeiJunjie ChenShin Hwei TanPublished in: ESEC/SIGSOFT FSE (2023)
Keyphrases
- dynamic analysis
- static analysis
- semantically equivalent
- test cases
- symbolic execution
- semantic network
- search based software testing
- semi automated
- logical representation
- test suite
- semantic information
- automated analysis
- semantic knowledge
- reverse engineering
- fully automated
- semantic similarity
- domain ontology
- semantic web
- domain specific
- natural language
- high level
- semantic web technologies
- database
- transformation rules
- software testing
- semantic search
- semantic content
- case study
- semantic description
- semantic level
- semantic features
- semantically meaningful
- semantic representation
- semantic relationships
- semantic annotation
- source code
- domain knowledge
- search engine
- information retrieval
- machine learning