Sciweavers

16790 search results - page 246 / 3358

» A Future for Software Engineering

27

FATES
2006
Springer

121views Software Engineering» more FATES 2006»

Multi-paradigmatic Model-Based Testing

14 years 2 months ago

Multi-paradigmatic Model-Based Testing

Download research.microsoft.com

Wolfgang Grieskamp

claim paper

Read More »

38

FATES
2006
Springer

123views Software Engineering» more FATES 2006»

State-Identification Problems for Finite-State Transducers

14 years 2 months ago

State-Identification Problems for Finite-State Transducers

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

26

FATES
2006
Springer

122views Software Engineering» more FATES 2006»

Online Testing with Reinforcement Learning

14 years 2 months ago

Online Testing with Reinforcement Learning

Download users.soe.ucsc.edu

Margus Veanes, Pritam Roy, Colin Campbell

claim paper

Read More »

23

FOSSACS
2006
Springer

81views Software Engineering» more FOSSACS 2006»

A Theory for Observational Fault Tolerance

14 years 2 months ago

A Theory for Observational Fault Tolerance

Download www.cs.um.edu.mt

Adrian Francalanza, Matthew Hennessy

claim paper

Read More »

19

FOSSACS
2006
Springer

112views Software Engineering» more FOSSACS 2006»

Bidomains and Full Abstraction for Countable Nondeterminism

14 years 2 months ago

Bidomains and Full Abstraction for Countable Nondeterminism

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

« Prev « First page 246 / 3358 Last » Next »