Property-Oriented Testing of Real-Time Systems.
Shuhao LiJi WangWei DongZhichang QiPublished in: APSEC (2004)
Keyphrases
- real time systems
- real time
- distributed systems
- embedded systems
- object oriented programming language
- timing constraints
- mission critical
- real time database systems
- relational databases
- architectural model
- test cases
- business process
- embedded real time systems
- business processes
- open source
- low cost
- mobile devices
- artificial intelligence