639 search results - page 16 / 128 » Integer Programming Models for Optimization Problems in Test... |
118
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
105
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we compare Mixed-Integer Evolution Strategies (MI-ES) and standard Evolution Strategies (ES) when applied to find optimal solutions for artificial test problems and ...
131
click to vote
SIAMJO
2010
15 years 23 days ago
2010
Identifying small groups of lines, whose removal would cause a severe blackout, is critical for the secure operation of the electric power grid. We show how power grid vulnerabilit...
103
Voted
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
We consider the problem of testing the commutativity of a black-box group specified by its k generators. The complexity (in terms of k) of this problem was first considered by Pa...
153
click to vote
AMOST
2007
ACM
15 years 6 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...