4079 search results - page 629 / 816 » Differential Testing for Software |
122
click to vote
IM
1993
15 years 5 months ago
1993
A hybrid Expert System / Neural Network Traffic Advice system has been developed to aid traffic management in the Southern Californian telephone network. The system has been worki...
133
click to vote
USENIX
1996
15 years 5 months ago
1996
lmbench is a micro-benchmark suite designed to focus attention on the basic building blocks of many common system applications, such as databases, simulations, software developmen...
156
click to vote
AE
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper presents a new Memetic Algorithm (MA) designed to compute near-optimal solutions for the covering array construction problem. It incorporates several distingui...
133
click to vote
AIIDE
2009
15 years 5 months ago
2009
We examine the problem of self-adaptation in game-playing agents as the game requirements evolve incrementally. The goal of our current work is to develop an interactive environme...
142
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...