Applying Software Static Analysis to ROS: The Case Study of the FASTEN European Project.
Tiago NetoRafael ArraisArmando SousaAndré SantosGermano VeigaPublished in: ROBOT (1) (2019)
Keyphrases
- static analysis
- european project
- case study
- source code
- dynamic analysis
- free software
- symbolic execution
- abstract interpretation
- software development
- software systems
- test generation
- regular expressions
- java card
- malicious code
- knowledge base
- test case generation
- development process
- open source
- test suite
- software maintenance
- business process
- software engineering
- high level
- real world