Specification-Based Testing of Real-Time Embedded Systems.

Manuel Núñez Ismael Rodríguez

Published in: IESS (2005)

Keyphrases

real time embedded systems
high level
formal methods
data mining
machine learning
three dimensional
formal verification
test case generation
real time
feature selection
case study
objective function
expert systems
formal specification
software testing
code generation