Search results for "Coverage"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Nan-Cheng Lai, Sying-Jyan Wang, Y.-H. Fu	Low-Power BIST With a Smoother and Scan-Chain Reorder Under Optimal Cluster Size.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
19	Vijay Gangaram, Deepa Bhan, James K. Caldwell	Functional Test Selection for High Volume Manufacturing.	MTV	2006	DBLP DOI BibTeX RDF	Functional Test Sequences, Fault Simulation Acceleration, Untestable Fault Identification, Design Validation, Test Sequence Compaction
19	François Ingelrest, David Simplot-Ryl	Maximizing the Probability of Delivery of Multipoint Relay Broadcast Protocol in Wireless Ad Hoc Networks with a Realistic Physical Layer.	MSN	2006	DBLP DOI BibTeX RDF
19	Huong T. L. Pham, Jennifer L. Pittman, Mary C. Court	Why transient analysis can be de-emphasized in undergraduate simulation courses.	WSC	2006	DBLP DOI BibTeX RDF
19	Sreedevi Sampath, Sara Sprenkle, Emily Gibson, Lori L. Pollock	Integrating customized test requirements with traditional requirements in web application testing.	TAV-WEB	2006	DBLP DOI BibTeX RDF
19	Kun Young Chung, Sandeep K. Gupta 0001	Low-Cost Scan-Based Delay Testing of Latch-Based Circuits with Time Borrowing.	VTS	2006	DBLP DOI BibTeX RDF
19	Christopher M. Lott, Ashish Jain, Siddhartha R. Dalal	Modeling requirements for combinatorial software testing.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
19	Christopher M. Lott, Ashish Jain, Siddhartha R. Dalal	Modeling requirements for combinatorial software testing.	A-MOST	2005	DBLP DOI BibTeX RDF
19	Kymie M. C. Tan, Roy A. Maxion	The Effects of Algorithmic Diversity on Anomaly Detector Performance.	DSN	2005	DBLP DOI BibTeX RDF
19	Bill Eklow	What Do You Mean My Board Test Stinks?	ITC	2004	DBLP DOI BibTeX RDF
19	Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre	Mastering Test Generation from Smart Card Software Formal Models.	CASSIS	2004	DBLP DOI BibTeX RDF	boundary testing, smart card standard, formal specifications, functional testing, Automated test generation
19	Justin C. Williams	Optimal Direct and Indirect Covering Trees.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	covering tree, extensive facility, location, transportation network
19	John Bigham, Lin Du	Cooperative negotiation in a multi-agent system for real-time load balancing of a mobile cellular network.	AAMAS	2003	DBLP DOI BibTeX RDF	real-time systems, multi-agent systems, load balancing, cooperative negotiation
19	J. Jenny Li, W. Eric Wong	Automatic Test Generation from Communicating Extended Finite State Machine (CEFSM)-Based Models.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	CEFSM, specification, test generation, SDL
19	Farzan Fallah, Srinivas Devadas, Kurt Keutzer	OCCOM-efficient computation of observability-based code coveragemetrics for functional verification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
19	Anders Wesslén, Per Runeson, Björn Regnell	Assessing the Sensitivity to Usage Profile Changes in Test Planning.	ISSRE	2000	DBLP DOI BibTeX RDF
19	Surendra Bommu, Srimat T. Chakradhar, Kiran B. Doreswamy	Resource-Constrained Compaction of Sequential Circuit Test Sets.	VLSI Design	2000	DBLP DOI BibTeX RDF
19	Hideyuki Ichihara, Kozo Kinoshita, Seiji Kajihara	On Test Generation with A Limited Number of Tests.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF
19	Krishnendu Chakrabarty, John P. Hayes	Cumulative balance testing of logic circuits.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
19	Amitava Majumdar 0001, Sarma B. K. Vrudhula	Techniques for estimating test length under random test.	J. Electron. Test.	1994	DBLP DOI BibTeX RDF	urn models, test quality, Circuit testing, waiting time distribution
19	Margot Karam, Gabriele Saucier	Functional versus random test generation for sequential circuits.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	simulation, Finite state machine, functional testing, graph traversal
19	Faisal A. Al-Nasser, Mansour A. Al-Dajani, Uthman Baroudi, Shokri Z. Selim	Placement of access points in wireless local area networks.	IWCMC	2009	DBLP DOI BibTeX RDF	2-D convolution, percentage coverage, coverage, base station
19	Letícia Maria Veiras Bolzani, Edgar E. Sánchez, Matteo Sonza Reorda	A software-based methodology for the generation of peripheral test sets based on high-level descriptions.	SBCCI	2007	DBLP DOI BibTeX RDF	RT-level test metrics, code coverage metrics, gate-level test metrics, test block, fault coverage, SoC testing
19	Greta Yorsh, Thomas Ball, Mooly Sagiv	Testing, abstraction, theorem proving: better together!	ISSTA	2006	DBLP DOI BibTeX RDF	fabricated states, state-based coverage, testing, abstraction, program analysis, abstract interpretation, coverage, theorem prover, software fault injection, adequacy criteria
19	Walter M. Lindermeir, Thomas J. Vogels, Helmut E. Graeb	Analog Test Design with IDD Measurements for the Detection of Parametric and Catastrophic Faults.	DATE	1998	DBLP DOI BibTeX RDF	analog and mixed-signal test design, IDD spectral measurements, test decision criteria, yield coverage, fault modeling, fault coverage, discrimination analysis, measurement noise
19	Hana Chockler, Daniel Kroening, Mitra Purandare	Coverage in interpolation-based model checking.	DAC	2010	DBLP DOI BibTeX RDF
19	Chen Wang, My T. Thai, Yingshu Li, Feng Wang 0002, Weili Wu 0001	Optimization scheme for sensor coverage scheduling with bandwidth constraints.	Optim. Lett.	2009	DBLP DOI BibTeX RDF
19	Ajay Deshpande, Sameera Poduri, Daniela Rus, Gaurav S. Sukhatme	Distributed coverage control for mobile sensors with location-dependent sensing models.	ICRA	2009	DBLP DOI BibTeX RDF
19	Shung Han Cho, Sangjin Hong, Yunyoung Nam	Association and Identification in Heterogeneous Sensors Environment with Coverage Uncertainty.	AVSS	2009	DBLP DOI BibTeX RDF
19	Habib M. Ammari, Sajal K. Das 0001	Joint k-coverage, duty-cycling, and geographic forwarding in wireless sensor networks.	ISCC	2009	DBLP DOI BibTeX RDF
19	Natasa Sladoje, Joakim Lindblad	Pixel Coverage Segmentation for Improved Feature Estimation.	ICIAP	2009	DBLP DOI BibTeX RDF
19	Neeldhara Misra, Venkatesh Raman 0001, Saket Saurabh 0001, Somnath Sikdar	The Budgeted Unique Coverage Problem and Color-Coding.	CSR	2009	DBLP DOI BibTeX RDF
19	Amotz Bar-Noy, Theodore Brown, Matthew P. Johnson 0001, Ou Liu	Cheap or Flexible Sensor Coverage.	DCOSS	2009	DBLP DOI BibTeX RDF
19	Habib M. Ammari, John Giudici	On the Connected k-Coverage Problem in Heterogeneous Sensor Nets: The Curse of Randomness and Heterogeneity.	ICDCS	2009	DBLP DOI BibTeX RDF
19	Li Liu 0001, Bin Hu 0001, Huifang Miao, Hao Li, Lian Li 0003, Qinglin Zhao	Achieving Energy Conservation, Coverage and Connectivity Requirements in Wireless Sensor Networks.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
19	Patrick Amstutz, Nikolaus Correll, Alcherio Martinoli	Distributed boundary coverage with a team of networked miniature robots using a robust market-based algorithm.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T40, 93C65, 68T37, 68W15
19	Habib M. Ammari, Sajal K. Das 0001	Integrated Coverage and Connectivity in Wireless Sensor Networks: A Two-Dimensional Percolation Problem.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
19	You-Chiun Wang, Yu-Chee Tseng	Distributed Deployment Schemes for Mobile Wireless Sensor Networks to Ensure Multilevel Coverage.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF
19	Bhaskar Pal, Ansuman Banerjee, Arnab Sinha, Pallab Dasgupta	Accelerating Assertion Coverage With Adaptive Testbenches.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
19	Edoardo Amaldi, Antonio Capone, Federico Malucelli	Radio planning and coverage optimization of 3G cellular networks.	Wirel. Networks	2008	DBLP DOI BibTeX RDF	Radio planning, Signal quality constraint, Mathematical programming models, Location, Tabu Search, Configuration, UMTS, 3G, Base stations, CDMA2000
19	Marina Barbiroli, Claudia Carciofi, Paolo Grazioso, Doriana Guiducci, Chiara Zaniboni	Analysis of macrocellular and microcellular coverage with attention to exposure levels.	PIMRC	2008	DBLP DOI BibTeX RDF
19	Stephen Kloder, Seth Hutchinson 0001	Partial barrier coverage: Using game theory to optimize probability of undetected intrusion in polygonal environments.	ICRA	2008	DBLP DOI BibTeX RDF
19	Kiran Rachuri, A. Antony Franklin, C. Siva Ram Murthy	Coverage Based Expanding Ring Search for Dense Wireless Sensor Networks.	HiPC	2008	DBLP DOI BibTeX RDF
19	Uei-Ren Chen, Bo-Sheng Chiou, Jyun-Ming Chen, Woei Lin	An Adjustable Target Coverage Method in Directional Sensor Networks.	APSCC	2008	DBLP DOI BibTeX RDF
19	Jorge Cortés 0001	Area-constrained coverage optimization by robotic sensor networks.	CDC	2008	DBLP DOI BibTeX RDF
19	Jinxia Liu, Naijie Gu, Songsong He	An Energy-Aware Coverage Based Node Scheduling Scheme for Wireless Sensor Networks.	ICYCS	2008	DBLP DOI BibTeX RDF
19	Gwo-Jong Yu	Cell-based coverage management and routing protocol for wireless sensor networks.	Mobility Conference	2008	DBLP DOI BibTeX RDF	wireless sensor network, routing protocol, data dissemination
19	Yuan Xue, Helmut Jürgensen	Maximum supported network coverage area and cost evaluation of key pre-distribution schemes.	PETRA	2008	DBLP DOI BibTeX RDF
19	Xiaoling Qiu, Dipak Ghosal, Biswanath Mukherjee, Jennifer Yick, Deshi Li	Priority-Based Coverage-Aware Congestion Control for Multihop Wireless Sensor Networks.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
19	Ondrej Kuzelka, Filip Zelezný	Fast estimation of first-order clause coverage through randomization and maximum likelihood.	ICML	2008	DBLP DOI BibTeX RDF
19	Seyed Hossein Khasteh, Saeed Bagheri Shouraki, Ali Akbar Kiaei	A new sufficient condition for 1-coverage to imply connectivity.	ICDIM	2008	DBLP DOI BibTeX RDF
19	Svilen Ivanov, Edgar Nett	Fault-Tolerant Coverage Planning in Wireless Networks.	SRDS	2008	DBLP DOI BibTeX RDF
19	Félix de Moya Anegón, Zaida Chinchilla-Rodríguez, Benjamín Vargas-Quesada, Elena Corera-Álvarez, Francisco José Muñoz-Fernández, Antonio González-Molina, Victor Herrero Solana	Coverage analysis of Scopus: A journal metric approach.	Scientometrics	2007	DBLP DOI BibTeX RDF
19	Ulrich Kühne, Daniel Große, Rolf Drechsler	Improving the Quality of Bounded Model Checking by Means of Coverage Estimation.	ISVLSI	2007	DBLP DOI BibTeX RDF
19	Alair Dias Jr., Diógenes Cecilio da Silva Jr.	Code-coverage Based Test Vector Generation for SystemC Designs.	ISVLSI	2007	DBLP DOI BibTeX RDF
19	Xiaoming Zheng, Sven Koenig	Robot coverage of terrain with non-uniform traversability.	IROS	2007	DBLP DOI BibTeX RDF
19	Stephan Luck, Christian M. Mueller, Michael Scharf, Robert Fetscher	Algorithms for Hotspot Coverage Estimation Based on Field Strength Measurements.	VTC Spring	2007	DBLP DOI BibTeX RDF
19	Wei-Fang Cheng, Shanshan Li 0001, Xiangke Liao, Changxiang Shen, Haitao Chen	Maximal Coverage Scheduling in Randomly Deployed Directional Sensor Networks.	ICPP Workshops	2007	DBLP DOI BibTeX RDF
19	Tae Young Byun	An Efficient Energy Consumption Scheme Considering Coverage and Connectivity Problem in Wireless Sensor Networks.	SERA	2007	DBLP DOI BibTeX RDF
19	Mohamed Hefeeda, Hossein Ahmadi 0001	A Probabilistic Coverage Protocol for Wireless Sensor Networks.	ICNP	2007	DBLP DOI BibTeX RDF
19	Ossama Younis, Marwan Krunz, Srinivasan Ramasubramanian	Coverage Without Location Information.	ICNP	2007	DBLP DOI BibTeX RDF
19	Mohsen Sharifi, Ehsan Farzad	SPACC: A Simple Positioning and Coverage Control Solution for Wireless Sensor Networks.	ISPA	2007	DBLP DOI BibTeX RDF
19	Stefan Berner, Roland Weber, Rudolf K. Keller	Enhancing Software Testing by Judicious Use of Code Coverage Information.	ICSE	2007	DBLP DOI BibTeX RDF
19	Gefu Xu, Adit D. Singh	Delay Test Scan Flip-Flop: DFT for High Coverage Delay Testing.	VLSI Design	2007	DBLP DOI BibTeX RDF
19	Sven D. Hermann, Marc Emmelmann, O. Belaifa, Adam Wolisz	Investigation of IEEE 802.11k-based Access Point Coverage Area and Neighbor Discovery.	LCN	2007	DBLP DOI BibTeX RDF
19	Francine Bacchini, Alan J. Hu, Tom Fitzpatrick, Rajeev Ranjan, David Lacey, Mercedes Tan, Andrew Piziali, Avi Ziv	Verification Coverage: When is Enough, Enough?	DAC	2007	DBLP BibTeX RDF
19	Chih-fan Hsin, Mingyan Liu	Randomly Duty-cycled Wireless Sensor Networks: Dynamics of Coverage.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
19	Liang Zhang 0012, Indradeep Ghosh, Michael S. Hsiao	A Framework for Automatic Design Validation of RTL Circuits Using ATPG and Observability-Enhanced Tag Coverage.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
19	Mahilchi Milir Vaseekar Kumar, Spyros Tragoudas, Sreejit Chakravarty, Rathish Jayabharathi	Exact Delay Fault Coverage in Sequential Logic Under Any Delay Fault Model.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
19	Seongmoon Wang, Srimat T. Chakradhar	A scalable scan-path test point insertion technique to enhance delay fault coverage for standard scan designs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
19	Erik D. Demaine, Mohammad Taghi Hajiaghayi, Uriel Feige, Mohammad R. Salavatipour	Combination can be hard: approximability of the unique coverage problem.	SODA	2006	DBLP DOI BibTeX RDF
19	Ralf Lämmel, Wolfram Schulte	Controllable Combinatorial Coverage in Grammar-Based Testing.	TestCom	2006	DBLP DOI BibTeX RDF
19	Joongheon Kim, Jihoon Choi, Wonjun Lee 0001	Energy-Aware Distributed Topology Control for Coverage-Time Optimization in Clustering-Based Heterogeneous Sensor Networks.	VTC Spring	2006	DBLP DOI BibTeX RDF
19	Amit K. Chopra, Munindar P. Singh	Producing Compliant Interactions: Conformance, Coverage, and Interoperability.	DALT	2006	DBLP DOI BibTeX RDF
19	Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl	Interaction Testing in Model-Based Development: Effect on Model-Coverage.	APSEC	2006	DBLP DOI BibTeX RDF
19	Zhuo Zhang 0008, Sudhakar M. Reddy, Irith Pomeranz, Janusz Rajski, Bashir M. Al-Hashimi	Enhancing Delay Fault Coverage through Low Power Segmented Scan.	ETS	2006	DBLP DOI BibTeX RDF
19	Yuh-Ren Tsai, Tien-Yu Lin, Kai-Jie Yang	Sensing Coverage for Randomly Distributed Wireless Sensor Networks in Shadowed Environments.	SUTC (1)	2006	DBLP DOI BibTeX RDF
19	Nikolaus Correll, Samuel Rutishauser, Alcherio Martinoli	Comparing Coordination Schemes for Miniature Robotic Swarms: A Case Study in Boundary Coverage of Regular Structures.	ISER	2006	DBLP DOI BibTeX RDF
19	Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller	Coverage metrics for requirements-based testing.	ISSTA	2006	DBLP DOI BibTeX RDF
19	David Amzallag, Joseph Naor, Danny Raz	Coping with Interference: From Maximum Coverage to Planning Cellular Networks.	WAOA	2006	DBLP DOI BibTeX RDF
19	Joongheon Kim, Wonjun Lee 0001, Dongshin Kim 0001, Eunkyo Kim, Hyeokman Kim, Sanghyun Ahn	Dynamic Clustering for Coverage-Time Maximization in Two-Tiered Hierarchical Sensor Network Architectures.	EUC	2006	DBLP DOI BibTeX RDF
19	Ajitha Rajan	Coverage Metrics to Measure Adequacy of Black-Box Test Suites.	ASE	2006	DBLP DOI BibTeX RDF
19	William G. J. Halfond, Alessandro Orso	Command-Form Coverage for Testing Database Applications.	ASE	2006	DBLP DOI BibTeX RDF
19	Peng-Jun Wan, Chih-Wei Yi	Coverage by Randomly Deployed Wireless Sensor Networks.	NCA	2005	DBLP DOI BibTeX RDF
19	Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya	Extended abstract: transition traversal coverage estimation for symbolic model checking.	MEMOCODE	2005	DBLP DOI BibTeX RDF
19	Shireesh Verma, Kiran Ramineni, Ian G. Harris	An efficient control-oriented coverage metric.	ASP-DAC	2005	DBLP DOI BibTeX RDF
19	Narendra Devta-Prasanna, Sudhakar M. Reddy, Arun Gunda, P. Krishnamurthy, Irith Pomeranz	Improved Delay Fault Coverage Using Subsets of Flip-flops to Launch Transitions.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
19	V. R. Devanathan	Novel Bi-partitioned Scan Architecture to Improve Transition Fault Coverage.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
19	Anthony Man-Cho So, Yinyu Ye 0001	On Solving Coverage Problems in a Wireless Sensor Network Using Voronoi Diagrams.	WINE	2005	DBLP DOI BibTeX RDF
19	Ming Liu 0002, Jiannong Cao 0001, Wei Lou, Lijun Chen 0006, Xie Li	Coverage Analysis for Wireless Sensor Networks.	MSN	2005	DBLP DOI BibTeX RDF
19	Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu	A Novel Test Coverage Metric for Concurrently-Accessed Software Components.	FATES	2005	DBLP DOI BibTeX RDF
19	Zhonghai Wang, Yizheng Ye	The improvement for transaction level verification functional coverage.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
19	Joseph Lawrance, Steven Clarke, Margaret M. Burnett, Gregg Rothermel	How Well Do Professional Developers Test with Code Coverage Visualizations? An Empirical Study.	VL/HCC	2005	DBLP DOI BibTeX RDF
19	Ki Tae Park, Joong Lee, Kee Rim, Young Shik Moon	Key Frame Extraction Based on Shot Coverage and Distortion.	PCM (2)	2005	DBLP DOI BibTeX RDF
19	Hongli Xu, Liusheng Huang, Yingyu Wan, Kezhong Lu	Localized Algorithm for Coverage in Wireless Sensor Networks.	PDCAT	2005	DBLP DOI BibTeX RDF
19	Suprasad V. Amari, Hoang Pham, G. Dill	Optimal design of k-out-of-n: G subsystems subjected to imperfect fault-coverage.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
19	Irith Pomeranz, Sudhakar M. Reddy	Improving the stuck-at fault coverage of functional test sequences by using limited-scan operations.	IEEE Trans. Very Large Scale Integr. Syst.	2004	DBLP DOI BibTeX RDF
19	Kian Hsiang Low, Wee Kheng Leow, Marcelo H. Ang Jr.	Reactive, Distributed Layered Architecture for Resource-bounded Multi-robot Cooperation: Application to Mobile Sensor Network Coverage.	ICRA	2004	DBLP DOI BibTeX RDF
19	Sameera Poduri, Gaurav S. Sukhatme	Constrained Coverage for Mobile Sensor Networks.	ICRA	2004	DBLP DOI BibTeX RDF
19	Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner	Coverage Metrics for Continuous Function Charts.	ISSRE	2004	DBLP DOI BibTeX RDF	mixed continuous-discrete and real-time systems, model-based testing, Integration testing, data flow testing, block diagrams, MC/DC