Sciweavers

15951 search results - page 208 / 3191

» Lawful software engineering

160

FATES
2006
Springer

121views Software Engineering» more FATES 2006»

Multi-paradigmatic Model-Based Testing

15 years 10 months ago

Multi-paradigmatic Model-Based Testing

Download research.microsoft.com

Wolfgang Grieskamp

claim paper

Read More »

167

FATES
2006
Springer

123views Software Engineering» more FATES 2006»

State-Identification Problems for Finite-State Transducers

15 years 10 months ago

State-Identification Problems for Finite-State Transducers

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

154

FATES
2006
Springer

122views Software Engineering» more FATES 2006»

Online Testing with Reinforcement Learning

15 years 10 months ago

Online Testing with Reinforcement Learning

Download users.soe.ucsc.edu

Margus Veanes, Pritam Roy, Colin Campbell

claim paper

Read More »

128

FOSSACS
2006
Springer

81views Software Engineering» more FOSSACS 2006»

A Theory for Observational Fault Tolerance

15 years 10 months ago

A Theory for Observational Fault Tolerance

Download www.cs.um.edu.mt

Adrian Francalanza, Matthew Hennessy

claim paper

Read More »

127

Voted

FOSSACS
2006
Springer

112views Software Engineering» more FOSSACS 2006»

Bidomains and Full Abstraction for Countable Nondeterminism

15 years 10 months ago

Bidomains and Full Abstraction for Countable Nondeterminism

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

« Prev « First page 208 / 3191 Last » Next »