Testing real-time systems from compositional symbolic specifications.
Adriana Carla DamascenoPatrícia D. L. MachadoWilkerson de L. AndradePublished in: Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
- real time systems
- embedded real time systems
- reactive systems
- real time
- high level
- real time database systems
- distributed systems
- embedded systems
- mission critical
- test cases
- timing constraints
- anytime algorithms
- real time embedded
- object oriented programming language
- software testing
- control flow
- mobile devices
- database systems