Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities.
Antoine MinéPublished in: Electron. Notes Theor. Comput. Sci. (2017)
Keyphrases
- static analysis
- dynamic analysis
- real time
- source code
- malicious code
- test generation
- embedded systems
- java card
- test suite
- regular expressions
- abstract interpretation
- reverse engineering
- open source
- low cost
- symbolic execution
- software systems
- dynamic environments
- control system
- database systems
- software maintenance
- software development
- relational databases
- test case generation
- artificial intelligence