Search Sciweavers | Sciweavers

15777 search results - page 130 / 3156

» The Reformulation-Optimization Software Engine

150

click to vote

HOTSWUP
2009
ACM

110views Software Engineering» more HOTSWUP 2009»

Cooperative Update: A New Model for Dependable Live Update

16 years 4 days ago

Download www.cs.cmu.edu

Cristiano Giuffrida, Andrew S. Tanenbaum

claim paper

Read More »

136

click to vote

ICSE
2009
IEEE-ACM

125views Software Engineering» more ICSE 2009»

Calculating BPEL Test Coverage Through Instrumentation

16 years 1 days ago

Download www.ast2009.com

Daniel Lübke, Leif Singer, Alex Salnikow

claim paper

Read More »

165

click to vote

ICSE
2009
IEEE-ACM

96views Software Engineering» more ICSE 2009»

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

16 years 1 days ago

Download ast2009.com

Gordon Fraser, Angelo Gargantini

claim paper

Read More »

180

click to vote

ICSE
2009
IEEE-ACM

108views Software Engineering» more ICSE 2009»

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

16 years 1 days ago

Download ast2009.com

Alberto Avritzer, Elaine J. Weyuker

claim paper

Read More »

146

Voted

AC
2001
Springer

79views Software Engineering» more AC 2001»

Explicit and Implicit Enforcing - Randomized Optimization

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers