Automated extraction and checking of property models from source code for robot swarms.
Ettore MerloCarlo PinciroliJacopo PaneratiMichalis FamelisGiovanni BeltramePublished in: RoSE@ICSE (2022)
Keyphrases
- source code
- open source
- software systems
- software maintenance
- open source software
- software projects
- object oriented systems
- plagiarism detection
- static analysis
- software evolution
- reverse engineer
- software engineers
- high level
- manual inspection
- mining software repositories
- metamodel
- program comprehension
- automated tools
- linux kernel
- execution traces
- source code metrics