4095 search results - page 284 / 819 » How to test a tree |
119
click to vote
CCS
2009
ACM
15 years 4 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
150
click to vote
IAJIT
2011
14 years 7 months ago
2011
: User interfaces have special characteristics that differentiate them from the rest of the software code. Typical software metrics that indicate its complexity and quality may not...
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
Evolution has proven to be an effective method of training heterogeneous multi-agent teams of autonomous agents to explore unknown environments. Autonomous, heterogeneous agents ...
100
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
—Ad hoc networks employ a decentralized unstructured networking model that relies on node cooperation for key network functionalities such as routing and medium access. In this p...
83
Voted
IFL
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...