Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems.
Xin WangJi WangZhi-Chang QiPublished in: FORTE (2004)
Keyphrases
- real time systems
- distributed systems
- real time embedded
- mission critical
- real time
- embedded systems
- timing constraints
- test cases
- distributed environment
- cooperative
- peer to peer
- real time database systems
- multi agent
- automatically generate
- architectural model
- embedded real time systems
- contract algorithms
- object oriented programming language
- resource constraints
- artificial neural networks
- data streams
- high level