Sciweavers

4079 search results - page 97 / 816
» Differential Testing for Software
Sort
View
SCP
2010
92views more  SCP 2010»
15 years 1 months ago
Robustness testing for software components
Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisse...
JMLR
2010
123views more  JMLR 2010»
14 years 10 months ago
µTOSS - Multiple hypothesis testing in an open software system
Gilles Blanchard, Thorsten Dickhaus, Niklas Hack, ...
GECCO
2006
Springer
124views Optimization» more  GECCO 2006»
15 years 6 months ago
Rotated test problems for assessing the performance of multi-objective optimization algorithms
This paper presents four rotatable multi-objective test problems that are designed for testing EMO (Evolutionary Multiobjective Optimization) algorithms on their ability in dealin...
Antony W. Iorio, Xiaodong Li
FOSSACS
2005
Springer
15 years 8 months ago
A Computational Model for Multi-variable Differential Calculus
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
Abbas Edalat, André Lieutier, Dirk Pattinso...