Interactive presentation: Automatic model generation for black box real-time systems.
Thomas Huining FengLynn WangWei ZhengSri KanajanSanjit A. SeshiaPublished in: DATE (2007)
Keyphrases
- black box
- real time systems
- black boxes
- real time
- white box
- distributed systems
- object oriented programming language
- integration testing
- semi automatic
- real time database systems
- hybrid systems
- white box testing
- mission critical
- multimedia
- learning algorithm
- architectural model
- real time embedded
- labor intensive
- temporal constraints
- low cost
- training data
- database systems
- data sets