Search results for "K-coverage"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
81	Ai Chen, Santosh Kumar 0001, Ten-Hwang Lai	Designing localized algorithms for barrier coverage.	MobiCom	2007	DBLP DOI BibTeX RDF	local barrier coverage, wireless sensor networks, coverage, network topology, localized algorithms
77	Noa Agmon, Noam Hazon, Gal A. Kaminka	The giving tree: constructing trees for efficient offline and online multi-robot coverage.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68T40 Robotics
75	Atul Gupta, Pankaj Jalote	An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults.	TACAS	2006	DBLP DOI BibTeX RDF	Block coverage, Predicate coverage, Software testing, Experiment, Statistical analysis, Test case generation, Mutation Operator, Branch coverage
73	Santosh Kumar 0001, Ten-Hwang Lai, Anish Arora	Barrier coverage with wireless sensors.	MobiCom	2005	DBLP DOI BibTeX RDF	critical conditions, wireless sensor networks, coverage, network topology, localized algorithms, random geometric graphs, barrier coverage
69	Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl	Requirements Coverage as an Adequacy Measure for Conformance Testing.	ICFEM	2008	DBLP DOI BibTeX RDF
69	Atul Gupta, Pankaj Jalote	An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Coverage based testing, Statistical analysis, Test case generation, Experimental evaluation, Coverage criteria, Mutation operators
63	Guoliang Xing, Xiaorui Wang, Yuanfang Zhang, Chenyang Lu 0001, Robert Pless, Christopher D. Gill	Integrated coverage and connectivity configuration for energy conservation in sensor networks.	ACM Trans. Sens. Networks	2005	DBLP DOI BibTeX RDF	network geometry, Sensor network, connectivity, wireless ad hoc network, coverage, energy conservation, topology maintenance
63	Seapahn Megerian, Farinaz Koushanfar, Miodrag Potkonjak, Mani B. Srivastava	Worst and Best-Case Coverage in Sensor Networks.	IEEE Trans. Mob. Comput.	2005	DBLP DOI BibTeX RDF	maximal breach, maximal support, best-case coverage, worst-case coverage, Sensor networks, coverage
61	Atif M. Memon, Mary Lou Soffa, Martha E. Pollack	Coverage criteria for GUI testing.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	GUI test coverage, event-based coverage, event-flow graph, integration tree, GUI testing, component testing
60	Yingchi Mao, Zhuoming Xu, Yi Liang	An Energy Efficient Connected Coverage Protocol in Wireless Sensor Networks.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF	Connected Coverage, Wireless Sensor Networks, Dominating Set
58	Albert F. Myers	k-out-of-n: G System Reliability With Imperfect Fault Coverage.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
57	Maggie Xiaoyan Cheng, Lu Ruan 0001, Weili Wu 0001	Coverage breach problems in bandwidth-constrained sensor networks.	ACM Trans. Sens. Networks	2007	DBLP DOI BibTeX RDF	coverage breach, scheduling, Sensor networks, energy efficiency, coverage, network lifetime
57	Kenneth Koster, David C. Kao	State coverage: a structural test adequacy criterion for behavior checking.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	fault-based, coverage, unit testing, mutation testing, structural testing, test adequacy criteria, state coverage
57	Indradeep Ghosh, Srivaths Ravi 0001	On automatic generation of RTL validation test benches using circuit testing techniques.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	OCCOM, RTL ATPG, RTL testing, path coverage, small validation, toggle coverage, test, testing, generation, ATPG, fault coverage, code coverage, test sets, design validation, coverage metrics, universal test sets, testbench, branch coverage
56	Wei Wang 0002, Vikram Srinivasan, Bang Wang, Kee Chaing Chua	Coverage for target localization in wireless sensor networks.	IPSN	2006	DBLP DOI BibTeX RDF	sensor networks, coverage, target tracking
56	Azzedine Boukerche, Xin Fei, Regina Borges de Araujo	An energy aware coverage-preserving scheme for wireless sensor networks.	PE-WASUN	2005	DBLP DOI BibTeX RDF	coverage scheme, energy saving protocol, time schedule, distributed algorithm, energy aware, decision models
56	Xiaorui Wang, Guoliang Xing, Yuanfang Zhang, Chenyang Lu 0001, Robert Pless, Christopher D. Gill	Integrated coverage and connectivity configuration in wireless sensor networks.	SenSys	2003	DBLP DOI BibTeX RDF	network geometry, sensor network, connectivity, wireless ad hoc network, coverage, energy conservation, topology maintenance
55	Feng Chen, Peng Jiang, Anke Xue	Probability-Based Coverage Algorithm for 3D Wireless Sensor Networks.	ICIC (3)	2008	DBLP DOI BibTeX RDF	three dimensional coverage, coverage control, Wireless sensor networks, K-coverage
54	Wei-Fang Cheng, Mo Li 0001, Kebin Liu, Yunhao Liu 0001, Xiang-Yang Li 0001, Xiangke Liao	Sweep coverage with mobile sensors.	IPDPS	2008	DBLP DOI BibTeX RDF
54	Yuh-Ren Tsai	Coverage-Preserving Routing Protocols for Randomly Distributed Wireless Sensor Networks.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
54	Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul	Temporal Modeling of Software Test Coverage.	COMPSAC	2002	DBLP DOI BibTeX RDF
54	Xin Fei, Azzedine Boukerche	A performance evaluation of a coverage compensation based algorithm for wireless sensor networks.	MSWiM	2008	DBLP DOI BibTeX RDF	coverage compensation, node partition, genetic algorithm, wireless sensor network, coverage
54	William E. Howden	Systems testing and statistical test data coverage.	COMPSAC	1997	DBLP DOI BibTeX RDF	statistical test data coverage, unit modules, systems level coverage, reliability, software reliability, systems testing
52	Chia-Ching Ooi, Christian Schindelhauer	Smart ring: utilizing coverage holes for mobile target tracking.	MEDES	2009	DBLP DOI BibTeX RDF	distributed algorithms, target tracking, coverage holes
52	Santosh Kumar 0001, Ten-Hwang Lai, Anish Arora	Barrier coverage with wireless sensors.	Wirel. Networks	2007	DBLP DOI BibTeX RDF	Wireless sensor networks, Network topology, Barrier coverage
52	Habib M. Ammari, Sajal K. Das 0001	Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks.	SSS	2006	DBLP DOI BibTeX RDF	kCWSN, fault tolerance, measures, connectivity, coverage
52	Xia Cai, Michael R. Lyu	The effect of code coverage on fault detection under different testing profiles.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	software testing, fault detection, code coverage
52	Xia Cai, Michael R. Lyu	The effect of code coverage on fault detection under different testing profiles.	A-MOST	2005	DBLP DOI BibTeX RDF	software testing, fault detection, code coverage
52	Yong Woo Kim	Efficient use of code coverage in large-scale software development.	CASCON	2003	DBLP BibTeX RDF	Pareto-like defect distribution, large-scale software development, software quality assurance, code coverage, cyclomatic complexity
51	Gary Feierbach, Vijay Gupta	True Coverage: A Goal of Verification.	ISQED	2003	DBLP DOI BibTeX RDF	toggle coverage, true coverage, diagnostic strategy, VLSI, Coverage, fault simulation, design verification, stuck faults
51	Sigal Asaf, Eitan Marcus, Avi Ziv	Defining coverage views to improve functional coverage analysis.	DAC	2004	DBLP DOI BibTeX RDF	functional verification, coverage analysis
50	Raúl A. Santelices, James A. Jones, Yanbing Yu, Mary Jean Harrold	Lightweight fault-localization using multiple coverage types.	ICSE	2009	DBLP DOI BibTeX RDF
50	Hai Jiang 0001, Curt H. Davis	Coverage expansion and capacity improvement from soft handoff for CDMA cellular systems.	IEEE Trans. Wirel. Commun.	2005	DBLP DOI BibTeX RDF
50	Alon Gluska	Practical methods in coverage-oriented verification of the merom microprocessor.	DAC	2006	DBLP DOI BibTeX RDF	logic design, coverage, logic verification, functional coverage
50	Jerry Gao 0002, Raquel Espinoza, Jingsha He	Testing Coverage Analysis for Software Component Validation.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF	component test coverage, test coverage analysis, component testing
48	Habib M. Ammari, Sajal K. Das 0001	Fault tolerance measures for large-scale wireless sensor networks.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	k-covered wireless sensor networks, fault tolerance, connectivity, coverage
48	Jurek Czyzowicz, Evangelos Kranakis, Danny Krizanc, Ioannis Lambadaris, Lata Narayanan, Jaroslav Opatrny, Ladislav Stacho, Jorge Urrutia, Mohammadreza Yazdani	On Minimizing the Maximum Sensor Movement for Barrier Coverage of a Line Segment.	ADHOC-NOW	2009	DBLP DOI BibTeX RDF	Intruder, Optimal Movement, Sensors, NP-complete, Coverage, Detection, PTAS, Barrier, Line Segment
48	Swapna S. Gokhale, Robert E. Mullen	From Test Count to Code Coverage using the Lognormal Failure Rate.	ISSRE	2004	DBLP DOI BibTeX RDF	Lognormal, Software Test, Coverage, Software Reliability Growth
48	Ameet Bagwe, Rubin A. Parekhji	Functional testing and fault analysis based fault coverage enhancement techniques for embedded core based systems.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	fault coverage enhancement, embedded core based systems, test constraints, Texas Instruments TMS320C27xx, memory wrapper logic, fault diagnosis, logic testing, integrated circuit testing, application specific integrated circuits, functional testing, digital signal processing chips, fault analysis
48	C. Richard Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw	Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic.	DAC	2008	DBLP DOI BibTeX RDF	conditional coverage, inconclusive results, formal verification, code coverage, verifiability, coverage hole
48	Yuen-Tak Yu, Man Fai Lau	Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions.	QSIC	2004	DBLP DOI BibTeX RDF	Condition coverage, decision coverage, logical decisions, MUMCUT, coverage criteria, MC/DC
47	Mechelle Gittens, Keri Romanufa, David Godwin, Jason Racicot	All code coverage is not created equal: a case study in prioritized code coverage.	CASCON	2006	DBLP DOI BibTeX RDF	large applications, software testing, code coverage
46	Huawei Miao, Chia-Ching Ooi, Xiaowen Wu, Christian Schindelhauer	Coverage-hole trap model in target tracking using distributed relay-robot network.	SAC	2010	DBLP DOI BibTeX RDF
46	Audris Mockus, Nachiappan Nagappan, Trung T. Dinh-Trong	Test coverage and post-verification defects: A multiple case study.	ESEM	2009	DBLP DOI BibTeX RDF
46	Xin Ai 0002, Vikram Srinivasan, Chen-Khong Tham	Optimality and Complexity of Pure Nash Equilibria in the Coverage Game.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
46	Mingze Zhang, Mun Choon Chan, Akkihebbal L. Ananda	Coverage Protocol for Wireless Sensor Networks Using Distance Estimates.	SECON	2007	DBLP DOI BibTeX RDF
46	Laurent Fournier, Avi Ziv	Using Virtual Coverage to Hit Hard-To-Reach Events.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
46	Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga	A Semantic Framework for Test Coverage.	ATVA	2006	DBLP DOI BibTeX RDF
46	Dingxing Zhang, Ming Xu 0002, Shulin Wang, Boyun Zhang	Minimization of the Redundant Coverage for Dense Wireless Sensor Networks.	ICESS	2007	DBLP DOI BibTeX RDF	AM k-Coverage, coverage sets, genetic algorithm, multi-objective optimization, Pareto-optimal
46	Swapna S. Gokhale, Robert E. Mullen	Dynamic Code Coverage Metrics: A Lognormal Perspective.	IEEE METRICS	2005	DBLP DOI BibTeX RDF	Coverage types, Lognormal, Software Test, Code Coverage, Software Reliability Growth
46	J. Jenny Li	Prioritize Code for Testing to Improve Code Coverage of Complex Software.	ISSRE	2005	DBLP DOI BibTeX RDF	coverage priority, Testing, code coverage, dominator analysis
46	Hridesh Rajan, Kevin J. Sullivan	Aspect language features for concern coverage profiling.	AOSD	2005	DBLP DOI BibTeX RDF	Eos, concern coverage, coverage adequacy criteria, generalized advice, generalized join point models, C#
46	Hailong Cui, Sharad C. Seth, Shashank K. Mehta	Modeling Fault Coverage of Random Test Patterns.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	fault-coverage prediction, cost-benefit analysis of fault simulation, variance of fault coverage, BIST, probabilistic model
46	Alon Gluska	Coverage-oriented verification of banias.	DAC	2003	DBLP DOI BibTeX RDF	logic design, coverage, logic verification, functional coverage
44	Richard N. Taylor, David L. Levine, Cheryl D. Kelly	Structural Testing of Concurrent Programs.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs
44	Joydeep Chandra, Santosh Kumar Shaw, Niloy Ganguly	Analyzing Network Coverage in Unstructured Peer-to-Peer Networks: A Complex Network Approach.	Networking	2009	DBLP DOI BibTeX RDF	Network Coverage Models, Overlay Networks, Peer-to-Peer Networks, Gnutella
44	Mark Hennessy, James F. Power	Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Grammar-based software, Rule coverage, Software testing, Mutation testing, Test suite reduction
44	Weixin Xie, Wenming Cao 0001, Shan Meng	Coverage analysis for sensor networks based on Clifford algebra.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	rotation operator, sensor network, distance measure, coverage analysis, Clifford algebra
44	Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar	Advanced Analysis Techniques for Cross-Product Coverage.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Functional verification, coverage analysis, classification algorithms
44	Loukas Lazos, Radha Poovendran	Stochastic coverage in heterogeneous sensor networks.	ACM Trans. Sens. Networks	2006	DBLP DOI BibTeX RDF	sensor networks, heterogeneous, coverage, Stochastic
44	Sung-Ho Hwang, Min-Su Kim, Tae Young Byun	A Simple Scheme with Low Energy consumption for Coverage Maintenance in Wireless Sensor Networks.	UCS	2006	DBLP DOI BibTeX RDF	Coverage and Wireless Sensor Networks, Energy consumption
44	Kai Song, Yonghong Tian 0001, Tiejun Huang 0001	Improving the Image Retrieval Results Via Topic Coverage Graph.	PCM	2006	DBLP DOI BibTeX RDF	topic coverage, Image retrieval, re-rank
44	Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur	Applications of synchronization coverage.	PPoPP	2005	DBLP DOI BibTeX RDF	testing, coverage, multi-threading
44	Martina Marré, Antonia Bertolino	Using Spanning Sets for Coverage Testing.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	ddgraph, spanning sets, data flow, Control flow, subsumption, coverage criteria
44	Deying Li 0001, Jiannong Cao 0001, Dongsheng Liu, Ying Yu, Hui Sun	Algorithms for the m-Coverage Problem and k-Connected m-Coverage Problem in Wireless Sensor Networks.	NPC	2007	DBLP DOI BibTeX RDF	k-connected m-coverage, sensor networks, approximation algorithm, energy-efficient
43	J. Paul Myers Jr.	Adaptive approaches to structural software testing (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
42	Ben H. Smith, Laurie A. Williams	On guiding the augmentation of an automated test suite via mutation analysis.	Empir. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Line coverage, Empirical effectiveness, Test case augmentation, Mutation testing tool, Statement coverage, Web application, Open source, Fault injection, Unit testing, Mutation testing, Mutation analysis, Test adequacy
42	Tao Xie 0001, Jianjun Zhao 0001	A framework and tool supports for generating test inputs of AspectJ programs.	AOSD	2006	DBLP DOI BibTeX RDF	coverage measurement, software testing, aspect-oriented programs, test generation, aspect-oriented software development, AspectJ, coverage criteria
42	Albert F. Myers, Antoine Rauzy	Efficient Reliability Assessment of Redundant Systems Subject to Imperfect Fault Coverage Using Binary Decision Diagrams.	IEEE Trans. Reliab.	2008	DBLP DOI BibTeX RDF
42	Sachin Parikh, Vinod Vokkarane, Liudong Xing, Dayalan Kasilingam	Node-Replacement Policies to Maintain Threshold-Coverage in Wireless Sensor Networks.	ICCCN	2007	DBLP DOI BibTeX RDF
42	Hongxing Bai, Xi Chen 0036, Yu-Chi Ho, Xiaohong Guan	Information Coverage Configuration with Energy Preservation in Large Scale Wireless Sensor Networks.	CIT	2006	DBLP DOI BibTeX RDF
42	Xu Li, Nicola Santoro	An Integrated Self-deployment and Coverage Maintenance Scheme for Mobile Sensor Networks.	MSN	2006	DBLP DOI BibTeX RDF
42	Yuzhen Liu, Weifa Liang	Approximate Coverage in Wireless Sensor Networks.	LCN	2005	DBLP DOI BibTeX RDF
42	Neelam Gupta, Zachary V. Heidepriem	A New Structural Coverage Criterion for Dynamic Detection of Program Invariants.	ASE	2003	DBLP DOI BibTeX RDF	dynamic analysis, Test data generation, execution traces, path testing, program invariants
42	Sebastian G. Elbaum, David Gable, Gregg Rothermel	The Impact of Software Evolution on Code Coverage Information.	ICSM	2001	DBLP DOI BibTeX RDF
42	Peter Folkesson, Johan Karlsson	Considering Workload Input Variations in Error Coverage Estimation.	EDCC	1999	DBLP DOI BibTeX RDF
42	Pradip A. Thaker, Vishwani D. Agrawal, Mona E. Zaghloul	Validation Vector Grade (VVG): A New Coverage Metric for Validation and Test.	VTS	1999	DBLP DOI BibTeX RDF
42	Man Fai Lau, Yuen-Tak Yu	On Comparing Testing Criteria for Logical Decisions.	Ada-Europe	2009	DBLP DOI BibTeX RDF	condition coverage, condition/decision coverage, control flow criteria, decision coverage, modified condition/ decision coverage (MC/DC), software testing, Boolean expression
42	Paul Balister, Béla Bollobás, Amites Sarkar, Santosh Kumar 0001	Reliable density estimates for coverage and connectivity in thin strips of finite length.	MobiCom	2007	DBLP DOI BibTeX RDF	wireless sensor networks, connectivity, coverage, network topology, deployment, critical, random geometric graphs, barrier coverage
42	Joakim Aidemark, Peter Folkesson, Johan Karlsson	Path-Based Error Coverage Prediction.	J. Electron. Test.	2002	DBLP DOI BibTeX RDF	analytical coverage estimation, fault injection, error detection coverage
42	Martina Marré, Antonia Bertolino	Reducing and Estimating the Cost of Test Coverage Criteria.	ICSE	1996	DBLP BibTeX RDF	generalised algorithm, minimum entity set, program flowgraph entities, spanning set, test coverage criteria cost estimation, test coverage criteria cost reduction, test paths, program testing, software cost estimation, flowcharting
42	Peter C. Maxwell	The use of IDDQ testing in low stuck-at coverage situations.	VTS	1995	DBLP DOI BibTeX RDF	stuck-at coverage situations, quality goal, graded coverage, composite metric, fault diagnosis, logic testing, logic tests, integrated circuit testing, automatic testing, application specific integrated circuits, ASIC, CMOS logic circuits, IDDQ testing, IC testing
42	Takaji Fujiwara, Joong-Yang Park, Jae-Heung Park	Evaluation and Application of MVFs in Coverage for Coverage-Based NHPP SRGM Frameworks.	SERA	2007	DBLP DOI BibTeX RDF
41	Xiao Sun 0002, Carmie Hull	Functional Verification Coverage vs. Physical Stuck-at Fault Coverage.	DFT	1998	DBLP DOI BibTeX RDF	functional property, stuck-at fault coverage, verification coverage, UIO, verification, validation, ATPG, FSM, signature analysis, test application time
41	Tai-Yi Huang, Pin-Chuan Chou, Cheng-Han Tsai, Hsin-An Chen	Automated fault localization with statistically suspicious program states.	LCTES	2007	DBLP DOI BibTeX RDF	fault localization, automated debugging, state coverage
40	Aynur Abdurazik, Paul Ammann, Wei Ding 0003, A. Jefferson Offutt	Evaluation of Three Specification-Based Testing Criteria.	ICECCS	2000	DBLP DOI BibTeX RDF	PROBSUBSUMES measure, specification-mutation coverage, full predicate coverage, transition-pair coverage, program testing, specification-based testing, testing criteria, model checker
40	Dongsong Ban, Jie Jiang 0009, Wei Yang 0037, Wenhua Dou, Huizhan Yi	Strong k-barrier coverage with mobile sensors.	IWCMC	2010	DBLP DOI BibTeX RDF	mobile sensor, relocation, barrier coverage
40	Hsiuying Wang	Exact average coverage probabilities and confidence coefficients of confidence intervals for discrete distributions.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Confidence coefficient, Coverage probability, Confidence interval, Discrete distribution
40	Habib M. Ammari	Stochastic k-Coverage in Wireless Sensor Networks.	WASA	2009	DBLP DOI BibTeX RDF	Stochastic coverage, Scheduling, Wireless sensor networks
40	Guoliang Xing, Rui Tan 0001, Benyuan Liu, Jianping Wang 0001, Xiaohua Jia, Chih-Wei Yi	Data fusion improves the coverage of wireless sensor networks.	MobiCom	2009	DBLP DOI BibTeX RDF	performance limits, wireless sensor network, coverage, data fusion, target detection
40	Akbar Siami Namin, James H. Andrews	The influence of size and coverage on test suite effectiveness.	ISSTA	2009	DBLP DOI BibTeX RDF	statistical analysis, coverage criteria
40	B. Paramasivan, Mohaideen Pitchai, D. Usha, Radha Krishnan	Coverage preserved optimal routing protocol for improving the quality of service in wireless sensor networks.	ICIS	2009	DBLP DOI BibTeX RDF	quality of service, energy efficiency, coverage, lifetime, multi-path routing, cluster-head, self-scheduling
40	Ronaldo Menezes, Harry Bullen	A study of terrain coverage models.	SAC	2008	DBLP DOI BibTeX RDF	terrain coverage, autonomous agents
40	Yongan Wu, Min Li, Zhiping Cai, En Zhu	A Distributed Algorithm to Approximate Node-Weighted Minimum alpha-Connected (Theta, k)-Coverage in Dense Sensor Networks.	FAW	2008	DBLP DOI BibTeX RDF	(?and k)-coverage, ?-connectivity, dense sensor networks, probabilistic model
40	Hongxing Bai, Xi Chen 0036, Bin Li, Dianfei Han	A Location-free Algorithm of Energy-Efficient Connected Coverage for High Density Wireless Sensor Networks.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Static wireless sensor networks, Location-free algorithm, Connectivity, Coverage
40	S. Sundhar Ram, D. Manjunath, Srikanth K. Iyer, D. Yogeshwaran	On the Path Coverage Properties of Random Sensor Networks.	IEEE Trans. Mob. Comput.	2007	DBLP DOI BibTeX RDF	Sensor networks coverage, exposure, path tracking, Boolean models
40	Chi-Fu Huang, Yu-Chee Tseng, Hsiao-Lu Wu	Distributed protocols for ensuring both coverage and connectivity of a wireless sensor network.	ACM Trans. Sens. Networks	2007	DBLP DOI BibTeX RDF	sensor network, Ad hoc network, wireless network, connectivity, coverage, power control, energy conservation
40	Huanzhao Wang, Bei Dong, Peijun Chen, Qian Chen, Junjun Kong	LATEX DSL: A Coverage Control Protocol for heterogeneous Wireless Sensor Networks.	ICSNC	2007	DBLP DOI BibTeX RDF	coverage degree, wireless sensor networks, topology control, node scheduling
40	Hana Chockler, Orna Kupferman, Moshe Y. Vardi	Coverage metrics for formal verification.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Algorithms, Model checking, Formal verification, Coverage metrics
40	Sezer Gören 0001, F. Joel Ferguson	Test sequence generation for controller verification and test with high coverage.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	finite state machine, Fault coverage, black box testing, X-machine