Sciweavers

314 search results - page 1 / 63
» The Complexity of Coverage
Sort
View
58
Voted
COMPLEXITY
2007
101views more  COMPLEXITY 2007»
15 years 11 days ago
Analyzing and visualizing the semantic coverage of Wikipedia and its authors
Todd Holloway, Miran Bozicevic, Katy Börner
ISSRE
2005
IEEE
15 years 6 months ago
Prioritize Code for Testing to Improve Code Coverage of Complex Software
Code prioritization for testing promises to achieve the maximum testing coverage with the least cost. This paper presents an innovative method to provide hints on which part of co...
J. Jenny Li
73
Voted
APLAS
2008
ACM
15 years 2 months ago
The Complexity of Coverage
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majum...
JSAC
2008
140views more  JSAC 2008»
15 years 10 days ago
Optimality and Complexity of Pure Nash Equilibria in the Coverage Game
In this paper, we investigate the coverage problem in wireless sensor networks using a game theory method. We assume that nodes are randomly scattered in a sensor field and the goa...
Xin Ai, Vikram Srinivasan, Chen-Khong Tham
OSDI
2008
ACM
16 years 20 days ago
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
Cristian Cadar, Daniel Dunbar, Dawson R. Engler