2 search results - page 1 / 1 » Prototype-Based Tests for Hybrid Reactive Systems |
RSP
2003
IEEE
13 years 9 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
SECPERU
2006
IEEE
13 years 10 months ago
2006
IEEE
Ad hoc routing protocols have been designed to efficiently reroute traffic when confronted with network congestion, faulty nodes, and dynamically changing topologies. The common d...