Sciweavers

14 search results - page 1 / 3

» fates 2006

102

FATES
2006
Springer

121views Software Engineering» more FATES 2006»

Multi-paradigmatic Model-Based Testing

15 years 7 months ago

Multi-paradigmatic Model-Based Testing

Download research.microsoft.com

Wolfgang Grieskamp

claim paper

Read More »

110

FATES
2006
Springer

123views Software Engineering» more FATES 2006»

State-Identification Problems for Finite-State Transducers

15 years 7 months ago

State-Identification Problems for Finite-State Transducers

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

119

FATES
2006
Springer

102views Software Engineering» more FATES 2006»

Robustness of Temporal Logic Specifications

15 years 7 months ago

Robustness of Temporal Logic Specifications

Download www.public.asu.edu

Georgios E. Fainekos, George J. Pappas

claim paper

Read More »

106

FATES
2006
Springer

122views Software Engineering» more FATES 2006»

Online Testing with Reinforcement Learning

15 years 7 months ago

Online Testing with Reinforcement Learning

Download users.soe.ucsc.edu

Margus Veanes, Pritam Roy, Colin Campbell

claim paper

Read More »

114

FATES
2006
Springer

128views Software Engineering» more FATES 2006»

Aspects for Trace Monitoring

15 years 7 months ago

Aspects for Trace Monitoring

Download plg.uwaterloo.ca

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...

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »