Aiding Developer Understanding of Software Changes via Symbolic Execution-based Semantic Differencing.
Johann GlockPublished in: ICSE Companion (2024)
Keyphrases
- symbolic execution
- source code
- test data generation
- static analysis
- software development
- software systems
- open source projects
- test generation
- software projects
- development process
- software developers
- test cases
- open source
- data flow
- high level
- case study
- specification language
- simulated annealing algorithm
- semantic information
- software architecture
- database
- software components
- software testing
- artificial intelligence
- search algorithm
- data sets