Sciweavers

14 search results - page 1 / 3
» fates 2006
Sort
View
168
Voted
FATES
2006
Springer
15 years 11 months ago
Multi-paradigmatic Model-Based Testing
Wolfgang Grieskamp
174
Voted
FATES
2006
Springer
15 years 11 months ago
State-Identification Problems for Finite-State Transducers
Moez Krichen, Stavros Tripakis
172
Voted
FATES
2006
Springer
15 years 11 months ago
Robustness of Temporal Logic Specifications
Georgios E. Fainekos, George J. Pappas
162
Voted
FATES
2006
Springer
15 years 11 months ago
Online Testing with Reinforcement Learning
Margus Veanes, Pritam Roy, Colin Campbell
FATES
2006
Springer
15 years 11 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...