8398 search results - page 260 / 1680 » Optimal Software Testing |
162
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
179
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
149
click to vote
AMC
2005
15 years 6 months ago
2005
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...
187
click to vote
ITC
1996
IEEE
15 years 10 months ago
1996
IEEE
Abstract. In complex systems, embedded processors may be used to run software routines for test pattern generation and response evaluation. For system components which are not comp...
166
click to vote
ICDIM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a simple, hybrid two phase global optimization algorithm called DE-PSO for solving global optimization problems. DE-PSO consists of alternating phases of Diffe...