Applying Symbolic Execution to Semantic Code Clone Detection (S).
Kazusa TakemotoShingo TakadaPublished in: SEKE (2023)
Keyphrases
- clone detection
- symbolic execution
- linux kernel
- source code
- static analysis
- software systems
- string matching
- software reuse
- test generation
- open source
- test data generation
- high level
- operating system
- specification language
- code clones
- pattern matching
- software projects
- artificial intelligence
- data flow
- semantic information
- test cases
- description language
- analysis tool
- software maintenance
- software engineering
- query language
- case study
- database