Sciweavers

15824 search results - page 142 / 3165

» Specialising in Software Engineering

119

HOTSWUP
2009
ACM

110views Software Engineering» more HOTSWUP 2009»

Cooperative Update: A New Model for Dependable Live Update

15 years 11 months ago

Cooperative Update: A New Model for Dependable Live Update

Download www.cs.cmu.edu

Cristiano Giuffrida, Andrew S. Tanenbaum

claim paper

Read More »

117

ICSE
2009
IEEE-ACM

125views Software Engineering» more ICSE 2009»

Calculating BPEL Test Coverage Through Instrumentation

15 years 10 months ago

Calculating BPEL Test Coverage Through Instrumentation

Download www.ast2009.com

Daniel Lübke, Leif Singer, Alex Salnikow

claim paper

Read More »

137

ICSE
2009
IEEE-ACM

96views Software Engineering» more ICSE 2009»

Experiments on the Test Case Length in Specification Based Test Case Generation

15 years 10 months ago

Experiments on the Test Case Length in Specification Based Test Case Generation

Download ast2009.com

Gordon Fraser, Angelo Gargantini

claim paper

Read More »

146

ICSE
2009
IEEE-ACM

108views Software Engineering» more ICSE 2009»

The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model

15 years 10 months ago

The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model

Download ast2009.com

Alberto Avritzer, Elaine J. Weyuker

claim paper

Read More »

125

Voted

AC
2001
Springer

79views Software Engineering» more AC 2001»

Explicit and Implicit Enforcing - Randomized Optimization

15 years 10 months ago

Explicit and Implicit Enforcing - Randomized Optimization

Download www.inf.ethz.ch

Bernd Gärtner, Emo Welzl

claim paper

Read More »

« Prev « First page 142 / 3165 Last » Next »