Sciweavers

14 search results - page 1 / 3
» fates 2006
Sort
View
81
Voted
FATES
2006
Springer
15 years 4 months ago
Multi-paradigmatic Model-Based Testing
Wolfgang Grieskamp
95
Voted
FATES
2006
Springer
15 years 4 months ago
State-Identification Problems for Finite-State Transducers
Moez Krichen, Stavros Tripakis
96
Voted
FATES
2006
Springer
15 years 4 months ago
Robustness of Temporal Logic Specifications
Georgios E. Fainekos, George J. Pappas
88
Voted
FATES
2006
Springer
15 years 4 months ago
Online Testing with Reinforcement Learning
Margus Veanes, Pritam Roy, Colin Campbell
93
Voted
FATES
2006
Springer
15 years 4 months ago
Aspects for Trace Monitoring
A trace monitor observes the sequence of events in a system, and takes appropriate action when a given pattern occurs in that sequence. Aspect-oriented programming provides a conve...
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laur...