Optimal tester synthesis for real-time systems.

Rachid Bouaziz Ismail Berrada

Published in: NOTERE (2008)

Keyphrases

real time systems
real time
embedded systems
real time database systems
distributed systems
mission critical
contract algorithms
dynamic programming
black box
optimal solution
database
machine learning
test cases
timing constraints