Sciweavers

15777 search results - page 130 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
HOTSWUP
2009
ACM
15 years 9 months ago
Cooperative Update: A New Model for Dependable Live Update
Cristiano Giuffrida, Andrew S. Tanenbaum
103
Voted
ICSE
2009
IEEE-ACM
15 years 9 months ago
Calculating BPEL Test Coverage Through Instrumentation
Daniel Lübke, Leif Singer, Alex Salnikow
122
Voted
ICSE
2009
IEEE-ACM
15 years 9 months ago
Experiments on the Test Case Length in Specification Based Test Case Generation
Gordon Fraser, Angelo Gargantini
126
Voted
ICSE
2009
IEEE-ACM
15 years 9 months ago
The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model
Alberto Avritzer, Elaine J. Weyuker
114
Voted
AC
2001
Springer
15 years 9 months ago
Explicit and Implicit Enforcing - Randomized Optimization
Bernd Gärtner, Emo Welzl