Search Sciweavers | Sciweavers

15777 search results - page 188 / 3156

» The Reformulation-Optimization Software Engine

click to vote

FATES
2006
Springer

121views Software Engineering» more FATES 2006»

Multi-paradigmatic Model-Based Testing

15 years 6 months ago

Download research.microsoft.com

Wolfgang Grieskamp

claim paper

Read More »

107

click to vote

FATES
2006
Springer

123views Software Engineering» more FATES 2006»

State-Identification Problems for Finite-State Transducers

15 years 6 months ago

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

102

click to vote

FATES
2006
Springer

122views Software Engineering» more FATES 2006»

Online Testing with Reinforcement Learning

15 years 6 months ago

Download users.soe.ucsc.edu

Margus Veanes, Pritam Roy, Colin Campbell

claim paper

Read More »

click to vote

FOSSACS
2006
Springer

81views Software Engineering» more FOSSACS 2006»

A Theory for Observational Fault Tolerance

15 years 6 months ago

Download www.cs.um.edu.mt

Adrian Francalanza, Matthew Hennessy

claim paper

Read More »

click to vote

FOSSACS
2006
Springer

112views Software Engineering» more FOSSACS 2006»

Bidomains and Full Abstraction for Countable Nondeterminism

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers