8398 search results - page 490 / 1680 » Optimal Software Testing |
191
click to vote
KBSE
2002
IEEE
16 years 16 days ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
177
click to vote
EVOW
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Evolutionary algorithms are powerful tools in search and optimization tasks with several applications in complex engineering problems. However, setting all associated par...
178
click to vote
ICCSA
2005
Springer
16 years 1 months ago
2005
Springer
Various global optimization methods are compared in order to find the best strategy to solve realistic drag reduction problems in the automotive industry. All the methods consist ...
180
click to vote
ESTIMEDIA
2003
Springer
16 years 25 days ago
2003
Springer
This paper proposes an energy optimization technique for latency and quality constrained video applications. It consists of two key techniques: frame-skipping technique and buffer...
185
click to vote
TACAS
2010
Springer
16 years 22 days ago
2010
Springer
We propose a general methodology for approximating the Pareto front of multi-criteria optimization problems. Our search-based methodology consists of submitting queries to a constr...