Search results for "coverage"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Indradeep Ghosh, Srivaths Ravi	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
5	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
5	Feng Chen, Peng Jiang, Anke Xue	Probability-Based Coverage Algorithm for 3D Wireless Sensor Networks.	ICIC	2008	DBLP DOI BibTeX RDF	three dimensional coverage, coverage control, Wireless sensor networks, K-coverage
5	Richard C. 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
5	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
5	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
5	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
4	Mohamed Hefeeda, Hossein Ahmadi	Energy-Efficient Protocol for Deterministic and Probabilistic Coverage in Sensor Networks.	IEEE Trans. Parallel Distrib. Syst.	2010	DBLP DOI BibTeX RDF	coverage in sensor networks, probabilistic coverage, coverage protocols, Sensor networks
4	Atul Gupta, Pankaj Jalote	An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing.	STTT	2008	DBLP DOI BibTeX RDF	Coverage based testing, Statistical analysis, Test case generation, Experimental evaluation, Coverage criteria, Mutation operators
4	Feng Chen, Peng Jiang, Anke Xue	An Algorithm of Coverage Control for Wireless Sensor Networks in 3D Underwater Surveillance Systems.	ICIC	2008	DBLP DOI BibTeX RDF	3D coverage, Coverage control, Underwater sensor networks
4	Jung-Eun Kim, Man-Ki Yoon, Junghee Han, Chang-Gun Lee	Sensor Placement for 3-Coverage with Minimum Separation Requirements.	DCOSS	2008	DBLP DOI BibTeX RDF	3-coverage, minimum separation requirement, coverage redundancy, sensor placement
4	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
4	Ken Koster	A state coverage tool for JUnit.	ICSE Companion	2008	DBLP DOI BibTeX RDF	coverage, unit testing, structural testing, test adequacy criteria, taint analysis, state coverage
4	Maggie Xiaoyan Cheng, Lu Ruan, Weili Wu	Coverage breach problems in bandwidth-constrained sensor networks.	TOSN	2007	DBLP DOI BibTeX RDF	coverage breach, scheduling, Sensor networks, energy efficiency, coverage, network lifetime
4	Ai Chen, Santosh Kumar, 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
4	Paul Balister, Béla Bollobás, Amites Sarkar, Santosh Kumar	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
4	Dingxing Zhang, Ming Xu, 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
4	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
4	Ken Koster, David Kao	State coverage: a structural test adequacy criterion for behavior checking.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	fault-based, coverage, unit testing, mutation testing, structural testing, test adequacy criteria, state coverage
4	Monalisa Sarma, Rajib Mall	Synthesis of system state models.	SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	system state model, test coverage analysis, transition coverage, UML, UML, automatic test case generation, state coverage
4	Bogdan Carbunar, Ananth Grama, Jan Vitek, Octavian Carbunar	Redundancy and coverage detection in sensor networks.	TOSN	2006	DBLP DOI BibTeX RDF	coverage boundary, Sensor networks, energy efficiency, coverage, redundancy elimination
4	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
4	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
4	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
4	Santosh Kumar, 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
4	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#
4	Jerry Gao, Raquel Espinoza, Jingsha He	Testing Coverage Analysis for Software Component Validation.	COMPSAC	2005	DBLP DOI BibTeX RDF	component test coverage, test coverage analysis, component testing
4	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
4	Hailong Cui, Sharad C. Seth, Shashank K. Mehta	Modeling Fault Coverage of Random Test Patterns.	J. Electronic Testing	2003	DBLP DOI BibTeX RDF	fault-coverage prediction, cost-benefit analysis of fault simulation, variance of fault coverage, BIST, probabilistic model
4	Alon Gluska	Coverage-oriented verification of banias.	DAC	2003	DBLP DOI BibTeX RDF	logic design, coverage, logic verification, functional coverage
4	Joakim Aidemark, Peter Folkesson, Johan Karlsson	Path-Based Error Coverage Prediction.	J. Electronic Testing	2002	DBLP DOI BibTeX RDF	analytical coverage estimation, fault injection, error detection coverage
4	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
4	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
4	Xiao Sun, Carmie Hull	Functional Verification Coverage vs. Physical Stuck-at Fault Coverage. (PDF / PS)	DFT	1998	DBLP DOI BibTeX RDF	functional property, stuck-at fault coverage, verification coverage, UIO, verification, validation, ATPG, FSM, signature analysis, test application time
4	William E. Howden	Systems testing and statistical test data coverage. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	statistical test data coverage, unit modules, systems level coverage, reliability, software reliability, systems testing
4	Mei-Hwa Chen, Michael R. Lyu, W. Eric Wong	An empirical study of the correlation between code coverage and reliability estimation.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	aircraft control, software reliability estimation, time-domain models, software testing technique, coverage measures, time measures, software failure prediction, software execution time, industrial automatic flight control, software reliability, program testing, digital simulation, software performance evaluation, simulation environment, code coverage, software reliability growth
4	Ananta K. Majhi, James Jacob, Lalit M. Patnaik, Vishwani D. Agrawal	On test coverage of path delay faults.	VLSI Design	1996	DBLP DOI BibTeX RDF	two-pass test generation method, falling transition, line delay test, longest sensitizable path, decreasing length, redundant stuck-at fault, computational complexity, fault diagnosis, logic testing, delays, redundancy, combinational circuits, fault simulation, circuit analysis computing, test coverage, path delay faults, benchmark circuits, coverage metric, combinational logic circuits, longest paths
4	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
4	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
4	Marc Riedel, Janusz Rajski	Fault coverage analysis of RAM test algorithms.	VTS	1995	DBLP DOI BibTeX RDF	RAM test algorithms, flexible software analysis program, arbitrary test sequences, coverage statistics, functional cell-array faults, fault state transition conditions, representative fault classes, fault diagnosis, integrated circuit testing, fault coverage, random-access storage, integrated memory circuits, semiconductor memories, test algorithms
4	Keerthi Heragu, Vishwani D. Agrawal, Michael L. Bushnell	Statistical methods for delay fault coverage analysis.	VLSI Design	1995	DBLP DOI BibTeX RDF	delay fault coverage analysis, true value simulation, multi-value logic system, implicit random path sampling procedure, linear-time estimate, fault coverage estimates, longest path theorem, fanout branches, fault diagnosis, logic testing, delays, probability, statistical analysis, observabilities, multivalued logic, propagation delay, detection probabilities, statistical techniques, transition probabilities
4	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
3	Mo Li, Wei-Fang Cheng, Kebin Liu, Yunhao Liu, Xiang-Yang Li, Xiangke Liao	Sweep Coverage with Mobile Sensors.	IEEE Trans. Mob. Comput.	2011	DBLP DOI BibTeX RDF	Sweep coverage, dynamic coverage, DSWEEP, mobile sensors
3	Chih-Yung Chang, Wei-Cheng Chu, Chih-Yu Lin, Chien-Fu Cheng	Energy-balanced hole-movement mechanism for temporal full-coverage in mobile WSNs.	IWCMC	2010	DBLP DOI BibTeX RDF	wireless sensor networks, coverage, mobile sensor, hole
3	Tzung-Shi Chen, Hua-Wen Tsai, Chih-Ping Chen, Jiun-Jie Peng	Object coverage with camera rotation in visual sensor networks.	IWCMC	2010	DBLP DOI BibTeX RDF	angle of view, object coverage, visual sensor networks, cameras, convex polygon
3	Hoon Kim, Youn-Hee Han, Sung-Gi Min	Maximum lifetime scheduling for target coverage in wireless sensor networks.	IWCMC	2010	DBLP DOI BibTeX RDF	overlapped target, sensor scheduling, coverage, network lifetime
3	Nauman Aslam, William Robertson	Distributed coverage and connectivity in three dimensional wireless sensor networks.	IWCMC	2010	DBLP DOI BibTeX RDF	wireless sensor networks, connectivity, coverage, topology control, three-dimensional
3	Dongsong Ban, Jie Jiang, Wei Yang, Wenhua Dou, Huizhan Yi	Strong k-barrier coverage with mobile sensors.	IWCMC	2010	DBLP DOI BibTeX RDF	mobile sensor, relocation, barrier coverage
3	Abdul Rauf, Sajid Anwar, M. Arfan Jaffer, Arshad Ali Shahid	Automated GUI Test Coverage Analysis Using GA.	ITNG	2010	DBLP DOI BibTeX RDF	Coverage Criterion, Test Path, Genetic Algorithm, Automation Testing, Test Data Generation, GUI Testing, Coverage Analysis, Event Flow
3	Octav Chipara, Gregory Hackmann, Chenyang Lu, William D. Smart, Gruia-Catalin Roman	Practical modeling and prediction of radio coverage of indoor sensor networks.	IPSN	2010	DBLP DOI BibTeX RDF	wireless propagation models, wireless sensor networks, coverage
3	Keren Censor-Hillel, Hadas Shachnai	Partial information spreading with application to distributed maximum coverage.	PODC	2010	DBLP DOI BibTeX RDF	maximum coverage, partial information spreading, weak conductance, approximation algorithms, distributed computing, randomized algorithms
3	Bryan S. Morse, Cameron H. Engh, Michael A. Goodrich	UAV video coverage quality maps and prioritized indexing for wilderness search and rescue.	HRI	2010	DBLP DOI BibTeX RDF	coverage quality maps, wilderness search and rescue, video indexing, unmanned aerial vehicles
3	Jinxia An, Jihong Zhu	Software Reliability Modeling with Integrated Test Coverage.	SSIRI	2010	DBLP DOI BibTeX RDF	integrated test coverage, modeling, classification, software reliability, test coverage, test effectiveness
3	Jung-Eun Kim, Junghee Han, Chang-Gun Lee	Optimal 3-Coverage with Minimum Separation Requirements for Ubiquitous Computing Environments.	MONET	2009	DBLP DOI BibTeX RDF	3-coverage, minimum separation requirement, ubiquitous computing, sensor placement
3	Hsiuying Wang	Exact average coverage probabilities and confidence coefficients of confidence intervals for discrete distributions.	Statistics and Computing	2009	DBLP DOI BibTeX RDF	Confidence coefficient, Coverage probability, Confidence interval, Discrete distribution
3	Chi Zhang, Yanchao Zhang, Yuguang Fang	Localized algorithms for coverage boundary detection in wireless sensor networks.	Wireless Networks	2009	DBLP DOI BibTeX RDF	Connected coverage, Wireless sensor networks (WSNs), Computational geometry, Localized algorithm
3	Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti	Design intent coverage revisited.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	Design Intent Coverage
3	Pallavi Manohar, S. Sundhar Ram, D. Manjunath	Path coverage by a sensor field: The nonhomogeneous case.	TOSN	2009	DBLP DOI BibTeX RDF	k-coverage of paths, nonhomogeneous queues, nonhomogeneous sensor deployment, sensor network, Analysis
3	Tong Zhao, Qing Zhao	Lifetime Maximization Based on Coverage and Connectivity in Wireless Sensor Networks.	Signal Processing Systems	2009	DBLP DOI BibTeX RDF	Sensor scheduling, Routing, Connectivity, Coverage, Network lifetime
3	E. S. F. Najumudheen, Rajib Mall, Debasis Samanta	A dependence graph-based representation for test coverage analysis of object-oriented programs.	ACM SIGSOFT Software Engineering Notes	2009	DBLP DOI BibTeX RDF	object-oriented program, inheritance, polymorphism, dependence graph, coverage analysis
3	Thao Dang, Tarik Nahhal	Coverage-guided test generation for continuous and hybrid systems.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	Test generation, Hybrid systems, Model-based testing, Conformance testing, Test coverage
3	Metin Ozkan, Ahmet Yazici, Muzaffer Kapanoglu, Osman Parlaktuna	Hierarchical oriented genetic algorithms for coverage path planning of multi-robot teams with load balancing.	GEC Summit	2009	DBLP DOI BibTeX RDF	coverage path planning, genetic algorithm, load balancing, multi-robot
3	Lizhong Jin, Jie Jia, Guiran Chang, Xingwei Wang	Restoration of coverage blind spots in wireless sensor networks based on ant colony algorithm.	GEC Summit	2009	DBLP DOI BibTeX RDF	coverage blind spot, restoration mechanism, wireless sensor networks, Voronoi diagram, ant colony algorithm
3	Chih-Yung Chang, Li-Ling Hung, Yu-Chieh Chen, Ming-Hsien Li	On-supporting energy balanced k-barrier coverage in wireless sensor networks.	IWCMC	2009	DBLP DOI BibTeX RDF	wireless sensor networks, distributed, barrier coverage
3	Ying Li, Yan Zhang, YuDong Qi, Hongda Fan	Coverage and capacity in WiMAX and TD-SCDMA evolution: a comparative study.	IWCMC	2009	DBLP DOI BibTeX RDF	TD-SCDMA, spectrum efficiency, coverage, WiMAX
3	Lei Chen, Di Yuan	Fast algorithm for large-scale UMTS coverage planning with soft handover consideration.	IWCMC	2009	DBLP DOI BibTeX RDF	coverage, UMTS, soft handover
3	Thao P. Nghiem, Jong Hyun Kim, Sun Ho Lee, Tae Ho Cho	A Coverage and Energy Aware Cluster-Head Selection Algorithm in Wireless Sensor Networks.	ICIC	2009	DBLP DOI BibTeX RDF	Cluster-based protocol, Cluster-head selection, Wireless sensor network (WSN), Coverage, Energy efficiency protocol
3	Habib M. Ammari	Stochastic k-Coverage in Wireless Sensor Networks.	WASA	2009	DBLP DOI BibTeX RDF	Stochastic coverage, Scheduling, Wireless sensor networks
3	Paul Denny, Andrew Luxton-Reilly, John Hamer, Helen C. Purchase	Coverage of course topics in a student generated MCQ repository.	ITiCSE	2009	DBLP DOI BibTeX RDF	MCQ, contributing student, peerwise, question test bank, topic coverage, automated, peer assessment
3	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
3	Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick	Advanced code coverage analysis using substring holes.	ISSTA	2009	DBLP DOI BibTeX RDF	software testing, coverage analysis
3	Muzaffer Kapanoglu, Metin Ozkan, Ahmet Yazici, Osman Parlaktuna	Pattern-Based Genetic Algorithm Approach to Coverage Path Planning for Mobile Robots.	ICCS	2009	DBLP DOI BibTeX RDF	Coverage path planning, Genetic algorithms, Mobile robot
3	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
3	Guoliang Xing, Rui Tan, Benyuan Liu, Jianping Wang, 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
3	Liangda Li, Ke Zhou, Gui-Rong Xue, Hongyuan Zha, Yong Yu	Enhancing diversity, coverage and balance for summarization through structure learning.	WWW	2009	DBLP DOI BibTeX RDF	structural svm, coverage, diversity, summarization, balance
3	Qiang Guo, John Derrick, Neil Walkinshaw	Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	FBT, Structural Coverage, Testing, Transformation, Erlang
3	Jinjun Xiong, Yiyu Shi, Vladimir Zolotov, Chandu Visweswariah	Statistical multilayer process space coverage for at-speed test.	DAC	2009	DBLP DOI BibTeX RDF	process space coverage, order statistics, path selection
3	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
3	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
3	B. Paramasivan, Mohaideen Pitchai, D. Usha, Radha Krishnan	Coverage preserved optimal routing protocol for improving the quality of service in wireless sensor networks.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	quality of service, energy efficiency, coverage, lifetime, multi-path routing, cluster-head, self-scheduling
3	Mattias Wahde, David Sandberg	An Algorithm for Sensory Area Coverage by Mobile Robots Operating in Complex Arenas.	FIRA RoboWorld Congress	2009	DBLP DOI BibTeX RDF	Robot exploration algorithms, area coverage
3	Hyun Myung, Hae-min Jeon, Woo-Yeon Jeong, Seokwon Bang	Virtual Door-Based Coverage Path Planning for Mobile Robot.	FIRA RoboWorld Congress	2009	DBLP DOI BibTeX RDF	Virtual Door, Coverage Path Planning, Mobile Robot
3	Y. T. Yu, Eric Y. K. Chan, Pak-Lok Poon	On the Coverage of Program Code by Specification-Based Tests.	QSIC	2009	DBLP DOI BibTeX RDF	path coverage, specification-based testing, code coverage, classification-tree method, category-partition method
3	Fuqu Wu, Melanie Tory	PhotoScope: visualizing spatiotemporal coverage of photos for construction management.	CHI	2009	DBLP DOI BibTeX RDF	construction management, spatiotemporal coverage, visualization, photo browser
3	Shibo He, Jiming Chen, David K. Y. Yau, Huanyu Shao, Youxian Sun	Energy-efficient capture of stochastic events by global- and local-periodic network coverage.	MobiHoc	2009	DBLP DOI BibTeX RDF	coordinated sleep protocol, event capture, sensor network, energy efficiency, periodic scheduling, network coverage
3	Xiaole Bai, Chuanlin Zhang, Dong Xuan, Jin Teng, Weijia Jia	Low-connectivity and full-coverage three dimensional wireless sensor networks.	MobiHoc	2009	DBLP DOI BibTeX RDF	optimal deployment pattern, wireless sensor network topology, connectivity, coverage
3	Ben H. Smith, Laurie Williams	On guiding the augmentation of an automated test suite via mutation analysis.	Empirical Software Engineering	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
3	Scott McMaster, Atif M. Memon	Call-Stack Coverage for GUI Test Suite Reduction.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Test coverage of code, Testing tools, Testing strategies, Test management
3	Yingshu Li, Shan Gao	Designing k-coverage schedules in wireless sensor networks.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Sensing range, Wireless sensor networks, Network management, k-coverage
3	Ting Yan, Yu Gu 0001, Tian He, John A. Stankovic	Design and optimization of distributed sensing coverage in wireless sensor networks.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	Sensor networks, energy conservation, sensing coverage
3	Mark Hennessy, James F. Power	Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software.	Empirical Software Engineering	2008	DBLP DOI BibTeX RDF	Grammar-based software, Rule coverage, Software testing, Mutation testing, Test suite reduction
3	Adalberto Nobiato Crespo, Mario Jino, Alberto Pasquini, José Carlos Maldonado	A binomial software reliability model based on coverage of structural testing criteria.	Empirical Software Engineering	2008	DBLP DOI BibTeX RDF	Structural testing criteria, Test coverage, Software reliability models
3	Iana Siomina, Di Yuan	Minimum pilot power for service coverage in WCDMA networks.	Wireless Networks	2008	DBLP DOI BibTeX RDF	Pilot power, Optimization, Coverage, WCDMA
3	Santosh Kumar, Ten-Hwang Lai, József Balogh	On k-coverage in a mostly sleeping sensor network.	Wireless Networks	2008	DBLP DOI BibTeX RDF	Deterministic deployment, Sensor network, Connectivity, Power management, Coverage, Random deployment
3	WeiXin Xie, WenMing Cao, Shan Meng	Coverage analysis for sensor networks based on Clifford algebra.	Science in China Series F: Information Sciences	2008	DBLP DOI BibTeX RDF	rotation operator, sensor network, distance measure, coverage analysis, Clifford algebra
3	Qun Zhao, Mohan Gurusamy	Lifetime maximization for connected target coverage in wireless sensor networks.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	sensor activity scheduling, wireless sensor networks, approximation algorithms, NP-complete, coverage, network lifetime
3	Cheng-Dong Jiang, Guo-Liang Chen	Double Barrier Coverage in Dense Sensor Networks.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	wireless sensor network, distributed algorithm, Delaunay triangulation, barrier coverage
3	Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer	Using communication coverage criteria and partial model generation to assist software integration testing.	Software Quality Journal	2008	DBLP DOI BibTeX RDF	Timed state-based specifications, Distributed systems, Integration Testing, Coverage criteria
3	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
3	Yourim Yoon, Yong-Hyuk Kim, Byung Ro Moon	Feasibility-preserving crossover for maximum k-coverage problem.	GECCO	2008	DBLP DOI BibTeX RDF	feasibility-preserving crossover, maximum k-coverage, genetic algorithms