Dynamic Analysis of Multi-threaded Embedded Software to Expose Atomicity Violations.
Jay PatelYann-Hang LeePublished in: ICESS (2016)
Keyphrases
- embedded software
- multi threaded
- dynamic analysis
- static analysis
- reverse engineering
- embedded systems
- software architecture
- development projects
- information flow
- multi core processors
- operating system
- computer architecture
- multithreading
- model checking
- real time
- source code
- software engineering
- object oriented
- sequence diagrams
- artificial intelligence