Sciweavers

14 search results - page 1 / 3

» fates 2006

13

FATES
2006
Springer

121views Software Engineering» more FATES 2006»

Multi-paradigmatic Model-Based Testing

13 years 10 months ago

Multi-paradigmatic Model-Based Testing

Download research.microsoft.com

Wolfgang Grieskamp

claim paper

Read More »

16

FATES
2006
Springer

123views Software Engineering» more FATES 2006»

State-Identification Problems for Finite-State Transducers

13 years 10 months ago

State-Identification Problems for Finite-State Transducers

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

12

FATES
2006
Springer

102views Software Engineering» more FATES 2006»

Robustness of Temporal Logic Specifications

13 years 10 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 10 months ago

Online Testing with Reinforcement Learning

Download users.soe.ucsc.edu

Margus Veanes, Pritam Roy, Colin Campbell

claim paper

Read More »

15

FATES
2006
Springer

128views Software Engineering» more FATES 2006»

Aspects for Trace Monitoring

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