Property-Driven Software Analysis - (Extended Abstract).
Mathieu ComptierDavid DéharbePaulin FournierJulien Molinero PerezPublished in: FM (2019)
Keyphrases
- extended abstract
- analysis tool
- search algorithm
- software development
- genetic algorithm
- statistical analysis
- data driven
- database
- mobile devices
- software package
- software architecture
- computer systems
- software engineering
- mobile robot
- relational databases
- data analysis
- website
- image processing
- information systems
- data sets
- real time