2071 search results - page 334 / 415 » An Empirical Evaluation of LFG-DOP |
SPIN
2010
Springer
14 years 9 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
SPIN
2010
Springer
14 years 9 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
117
click to vote
TAICPART
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...
100
click to vote
TON
2010
14 years 9 months ago
2010
—Routing protocols for disruption-tolerant networks (DTNs) use a variety of mechanisms, including discovering the meeting probabilities among nodes, packet replication, and netwo...
140
click to vote
VL
2010
IEEE
14 years 9 months ago
2010
IEEE
Many machine-learning algorithms learn rules of behavior from individual end users, such as taskoriented desktop organizers and handwriting recognizers. These rules form a “prog...