Sciweavers

15777 search results - page 130 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
HOTSWUP
2009
ACM
15 years 12 months ago
Cooperative Update: A New Model for Dependable Live Update
Cristiano Giuffrida, Andrew S. Tanenbaum
133
Voted
ICSE
2009
IEEE-ACM
15 years 11 months ago
Calculating BPEL Test Coverage Through Instrumentation
Daniel Lübke, Leif Singer, Alex Salnikow
161
Voted
ICSE
2009
IEEE-ACM
15 years 11 months ago
Experiments on the Test Case Length in Specification Based Test Case Generation
Gordon Fraser, Angelo Gargantini
143
Voted
AC
2001
Springer
15 years 11 months ago
Explicit and Implicit Enforcing - Randomized Optimization
Bernd Gärtner, Emo Welzl