Sciweavers

14 search results - page 1 / 3

» fates 2006

12

FATES
2006
Springer

121views Software Engineering» more FATES 2006»

Multi-paradigmatic Model-Based Testing

13 years 8 months ago

Multi-paradigmatic Model-Based Testing

Download research.microsoft.com

Wolfgang Grieskamp

claim paper

Read More »

14

FATES
2006
Springer

123views Software Engineering» more FATES 2006»

State-Identification Problems for Finite-State Transducers

13 years 8 months ago

State-Identification Problems for Finite-State Transducers

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

11

FATES
2006
Springer

102views Software Engineering» more FATES 2006»

Robustness of Temporal Logic Specifications

13 years 8 months ago

Robustness of Temporal Logic Specifications

Download www.public.asu.edu

Georgios E. Fainekos, George J. Pappas

claim paper

Read More »

9

FATES
2006
Springer

122views Software Engineering» more FATES 2006»

Online Testing with Reinforcement Learning

13 years 8 months ago

Online Testing with Reinforcement Learning

Download users.soe.ucsc.edu

Margus Veanes, Pritam Roy, Colin Campbell

claim paper

Read More »

12

FATES
2006
Springer

128views Software Engineering» more FATES 2006»

Aspects for Trace Monitoring

13 years 8 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 »