Search results for "Coverage"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Alexandre Duarte, Gustavo Wagner, Francisco Vilar Brasileiro, Walfredo Cirne	Multi-environment software testing on the grid.	PADTAD	2006	DBLP DOI BibTeX RDF	unit testing, computational grid, JUnit, distributed testing
16	Kerstin Eder, Peter A. Flach, Hsiou-Wen Hsueh	Towards Automating Simulation-Based Design Verification Using ILP.	ILP	2006	DBLP DOI BibTeX RDF
16	Yanli Cai, Minglu Li 0001, Min-You Wu	An Area-Based Collaborative Sleeping Protocol for Wireless Sensor Networks.	APWeb	2006	DBLP DOI BibTeX RDF
16	Yu Lei, W. Eric Wong	A Novel Framework for Non-Deterministic Testing of Message-Passing Programs.	HASE	2005	DBLP DOI BibTeX RDF
16	Philip Samuel, Rajib Mall	Boundary Value Testing based on UML Models.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
16	Ming Ma, Yuanyuan Yang	Adaptive Triangular Deployment Algorithm for Unattended Mobile Sensor Networks.	DCOSS	2005	DBLP DOI BibTeX RDF
16	Roger M. Whitaker, Larry Raisanen, Steve Hurley	The Marginal cost of Service Provision in Cellular Networks.	HICSS	2005	DBLP DOI BibTeX RDF
16	Johannes Fürnkranz	From Local to Global Patterns: Evaluation Issues in Rule Learning Algorithms.	Local Pattern Detection	2004	DBLP DOI BibTeX RDF
16	Johan Blom, Anders Hessel, Bengt Jonsson 0001, Paul Pettersson	Specifying and Generating Test Cases Using Observer Automata.	FATES	2004	DBLP DOI BibTeX RDF
16	Amir Rajabzadeh, Seyed Ghassem Miremadi, Mirzad Mohandespour	Experimental Evaluation of Master/Checker Architecture Using Power Supply- and Software-Based Fault Injection.	IOLTS	2004	DBLP DOI BibTeX RDF
16	Mats Per Erik Heimdahl, George Devaraj	Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing.	ASE	2004	DBLP DOI BibTeX RDF	test reduction, fault finding, specification-based testing, automated test generation, model checkers
16	Edward J. McCluskey, Ahmad A. Al-Yamani, Chien-Mo James Li, Chao-Wen Tseng, Erik H. Volkerink, François-Fabien Ferhani, Edward Li, Subhasish Mitra	ELF-Murphy Data on Defects and Test Sets.	VTS	2004	DBLP DOI BibTeX RDF
16	Anders Hessel, Paul Pettersson	A Test Case Generation Algorithm for Real-Time Systems.	QSIC	2004	DBLP DOI BibTeX RDF
16	Clemens Heitzinger, Wolfgang Pyka, Naoki Tamaoki, Toshiro Takase, Toshimitsu Ohmine, Siegfried Selberherr	Simulation of arsenic in situ doping with polysilicon CVD and its application to high aspect ratio trenches.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
16	Vadim Trenkaev, Myungchul Kim 0001, Soonuk Seol	Interoperability Testing Based on a Fault Model for a System of Communicating FSMs.	TestCom	2003	DBLP DOI BibTeX RDF
16	Nguyen Tran Sy, Yves Deville	Consistency techniques for interprocedural test data generation.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	software testing, consistency, constraint satisfaction, arrays, test data generation, procedures
16	Kalpesh Kapoor, Jonathan P. Bowen	Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria.	ISESE	2003	DBLP DOI BibTeX RDF
16	Zhenyun Zhuang, Yunhao Liu 0001, Li Xiao 0001, Lionel M. Ni	Hybrid Periodical Flooding in Unstructured Peer-to-Peer Networks.	ICPP	2003	DBLP DOI BibTeX RDF
16	Huy Nguyen 0001, Abhijit Chatterjee	Design of Real-Number Checksum Codes Using Shared Partial Computation for CED in Linear DSP Systems.	IOLTW	2002	DBLP DOI BibTeX RDF
16	Sule Ozev, Alex Orailoglu	An Integrated Tool for Analog Test Generation and Fault Simulation.	ISQED	2002	DBLP DOI BibTeX RDF
16	Ramesh C. Tekumalla, Scott Davidson 0001	On Identifying Indistinguishable Path Delay Faults and Improving Diagnosis.	ITC	2002	DBLP DOI BibTeX RDF
16	Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal	Coverability Analysis Using Symbolic Model Checking.	CHARME	2001	DBLP DOI BibTeX RDF
16	Nguyen Tran Sy, Yves Deville	Automatic Test Data Generation for Programs with Integer and Float Variables.	ASE	2001	DBLP DOI BibTeX RDF	software testing, consistency, constraint satisfaction, test data generation
16	Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper	Module Testing Embedded Software--An Industrial Pilot Project.	ICECCS	2001	DBLP DOI BibTeX RDF
16	Roy A. Maxion, Robert T. Olszewski	Eliminating Exception Handling Errors with Dependability Cases: A Comparative, Empirical Study.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	software robustness, software engineering, Collaboration, dependability, exception handling, empirical methods, N-version programming, design diversity, safety cases
16	Patrick Girard 0001, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel	Comparison between Random and Pseudo-Random Generation for BIST of Delay, Stuck-at and Bridging Faults.	IOLTW	2000	DBLP DOI BibTeX RDF	BIST, Random Testing, Delay Testing, Bridging Faults
16	Tom Chen 0001, Anneliese von Mayrhauser, Amjad Hajjar, Charles Anderson 0001, Mehmet Sahinoglu	Achieving the Quality of Verification for Behavioral Models with Minimum Effort.	ISQED	2000	DBLP DOI BibTeX RDF	behavioral model verification, Compound Poisson, effort-domain, empirical Bayesian analysis, negative binomial distribution(NBD), Poisson LSD, testing strategy, stopping rule
16	Laurence Goodby, Alex Orailoglu	Redundancy and testability in digital filter datapaths.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
16	Fabrizio Ferrandi, Franco Fummi, Luca Gerli, Donatella Sciuto	Symbolic Functional Vector Generation for VHDL Specifications.	DATE	1999	DBLP DOI BibTeX RDF
16	Salimeh Behnia, Hélène Waeselynck	Test Criteria Definition for B Models.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
16	Aarti Gupta, Pranav Ashar, Sharad Malik	Exploiting Retiming in a Guided Simulation Based Validation Methodology.	CHARME	1999	DBLP DOI BibTeX RDF
16	Stephen K. Sunter, Naveena Nagi	Test Metrics for Analog Parametric Faults.	VTS	1999	DBLP DOI BibTeX RDF
16	Phyllis G. Frankl, Oleg Iakounenko	Further Empirical Studies of Test Effectiveness.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF
16	Elizabeth M. Rudnick, Vivek Chickermane, Prithviraj Banerjee, Janak H. Patel	Sequential circuit testability enhancement using a nonscan approach.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
16	Nur A. Touba, Edward J. McCluskey	Transformed pseudo-random patterns for BIST.	VTS	1995	DBLP DOI BibTeX RDF	pseudorandom patterns transformation, onchip test pattern generation, mapping logic, on-chip TPG, logic testing, built-in self test, integrated circuit testing, logic design, BIST, combinational circuits, automatic testing, combinational logic
16	Janusz Rajski, Jerzy Tyszer	Test responses compaction in accumulators with rotate carry adders.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
16	Wilfried Daehn	Fault simulation using small fault samples.	J. Electron. Test.	1991	DBLP DOI BibTeX RDF	confidence level, sampling, fault simulation, Bayesian estimation
16	Vishwani D. Agrawal, Hatsuyoshi Kato	Fault Sampling Revisited.	IEEE Des. Test Comput.	1990	DBLP DOI BibTeX RDF
16	Hyung Ki Lee, Dong Sam Ha, Kwanghyun Kim	Test Generation of Stuck-open Faults Using Stuck-at Test Sets in CMOS Combinational Circuits.	DAC	1989	DBLP DOI BibTeX RDF
16	Joseph L. A. Hughes	Multiple fault detection using single fault test sets.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
16	James A. Hendler, Thomas P. Kehler, Paul Roller Michaelis, Brian Phillips, Kenneth M. Ross, Harry R. Tennant	Issues in the development of natural language front-ends.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
15	Mehmet Baysan, Kamil Saraç, R. Chandrasekaran, Sergey Bereg	A Polynomial Time Solution to Minimum Forwarding Set Problem in Wireless Networks under Unit Disk Coverage Model.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
15	Hassan Ghasemzadeh 0001, Eric Guenterberg, Roozbeh Jafari	Energy-Efficient Information-Driven Coverage for Physical Movement Monitoring in Body Sensor Networks.	IEEE J. Sel. Areas Commun.	2009	DBLP DOI BibTeX RDF
15	Ali Jaoua, Rehab M. Duwairi, Samir Elloumi, Sadok Ben Yahia	Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage.	RelMiCS	2009	DBLP DOI BibTeX RDF	Formal Concept Analysis, Galois Connection, Minimal representation
15	Xu Li 0001, Nathalie Mitton, Isabelle Ryl, David Simplot	Localized Sensor Self-deployment with Coverage Guarantee in Complex Environment.	ADHOC-NOW	2009	DBLP DOI BibTeX RDF
15	Giordano Fusco, Himanshu Gupta 0001	epsilon-Net Approach to Sensor k-Coverage.	WASA	2009	DBLP DOI BibTeX RDF
15	Yingpan Wu, Lixin Yu, Wei Zhuang, Jianyong Wang	A Coverage-Driven Constraint Random-Based Functional Verification Method of Pipeline Unit.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
15	Jun Wen, Jie Jiang 0009, Guofu Wu, Dongsong Ban, Wenhua Dou	Preserving Relay Connectivity and Coverage in Heterogeneous Wireless Sensor Networks.	NAS	2009	DBLP DOI BibTeX RDF
15	Iuri Bueno Drumond de Andrade, Geraldo Robson Mateus, Fabíola Guerra Nakamura	A GRASP heuristic to Density Control: Solving multi-period coverage and Routing Problems in Wireless Sensor Networks.	ISCC	2009	DBLP DOI BibTeX RDF
15	Tevfik Yapicioglu, Sema F. Oktug	Effect of wave height to connectivity and coverage in sea surface wireless sensor networks.	ISCIS	2009	DBLP DOI BibTeX RDF
15	B. Uygar Oztekin, Andy Chiu	Query smearing: Improving classification accuracy and coverage of search results using logs.	ISCIS	2009	DBLP DOI BibTeX RDF
15	Anmol Sheth, Srinivasan Seshan, David Wetherall	Geo-fencing: Confining Wi-Fi Coverage to Physical Boundaries.	Pervasive	2009	DBLP DOI BibTeX RDF
15	Sam Yeoul Choi, Tae-Jin Lee 0001, Min Young Chung, Hyunseung Choo	Adaptive Coverage Adjustment for Femtocell Management in a Residential Scenario.	APNOMS	2009	DBLP DOI BibTeX RDF	Self-organization, Self-optimization, Auto-configuration, Femtocell
15	Antoine Gallais, Jean Carle, David Simplot-Ryl, Ivan Stojmenovic	Localized Sensor Area Coverage with Low Communication Overhead.	IEEE Trans. Mob. Comput.	2008	DBLP DOI BibTeX RDF	Wireless communication, Distributed networks, Algorithm/protocol design and analysis
15	Daniele Miorandi	The Impact of Channel Randomness on Coverage and Connectivity of Ad Hoc and Sensor Networks.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
15	Hajime Suzuki, Thi Van Anh Tran, Iain B. Collings, Graham Daniels, Mark Hedley	Transmitter Noise Effect on the Performance of a MIMO-OFDM Hardware Implementation Achieving Improved Coverage.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
15	Ralf Irmer, Fabian Diehm	On coverage and capacity of relaying in LTE-advanced in example deployments.	PIMRC	2008	DBLP DOI BibTeX RDF
15	Yiliang Xu, Dezhen Song, Jingang Yi, A. Frank van der Stappen	An approximation algorithm for the least overlapping p-Frame problem with non-partial coverage for networked robotic cameras.	ICRA	2008	DBLP DOI BibTeX RDF
15	Mac Schwager, Francesco Bullo, David Skelly, Daniela Rus	A ladybug exploration strategy for distributed adaptive coverage control.	ICRA	2008	DBLP DOI BibTeX RDF
15	Imran Ali Khan, Akmal Javaid, Hua Lin Qian	coverage-based dynamically adjusted probabilistic forwarding for wireless mobile ad hoc networks.	HeterSanet	2008	DBLP DOI BibTeX RDF	ad-hoc networks, broadcast, probability
15	Livio Denegri, Fabio Lavagetto, Alessandro Iscra	Indoor Penetration of Outdoor Urban UMTS Coverage: An Experimental Model.	VTC Spring	2008	DBLP DOI BibTeX RDF
15	Frederik Janssen, Johannes Fürnkranz	An Empirical Investigation of the Trade-Off between Consistency and Coverage in Rule Learning Heuristics.	Discovery Science	2008	DBLP DOI BibTeX RDF
15	Yangfan Zhou, Michael R. Lyu, Jiangchuan Liu	An Index-Based Sensor-Grouping Mechanism for Efficient Field-Coverage Wireless Sensor Networks.	ICC	2008	DBLP DOI BibTeX RDF
15	Liang Liu 0001, Huadong Ma, Xi Zhang 0005	On Directional K-Coverage Analysis of Randomly Deployed Camera Sensor Networks.	ICC	2008	DBLP DOI BibTeX RDF
15	Li Li 0001, Wu Chou, Weiping Guo	Control Flow Analysis and Coverage Driven Testing for Web Services.	ICWS	2008	DBLP DOI BibTeX RDF
15	Alireza Tahbaz-Salehi, Ali Jadbabaie	Distributed coverage verification in sensor networks without location information.	CDC	2008	DBLP DOI BibTeX RDF
15	Carlos H. Caicedo-Nunez, Milos Zefran	A coverage algorithm for a class of non-convex regions.	CDC	2008	DBLP DOI BibTeX RDF
15	Dereje H. Woldegebreal, Holger Karl	Network-Coding-Based Cooperative Transmission in Wireless Sensor Networks: Diversity-Multiplexing Tradeoff and Coverage Area Extension.	EWSN	2008	DBLP DOI BibTeX RDF
15	Tomohiko Takagi, Zengo Furukawa	GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton.	ISSRE	2008	DBLP DOI BibTeX RDF
15	Khaled A. Ali, Hossam S. Hassanein, Hussein T. Mouftah	Power-Controlled Rate and Coverage Adaptation for WCDMA cellular networks.	ISCC	2008	DBLP DOI BibTeX RDF
15	David K. Y. Yau, Nung Kwan Yip, Chris Y. T. Ma, Nageswara S. V. Rao, Mallikarjun Shankar	Quality of monitoring of stochastic events by periodic & proportional-share scheduling of sensor coverage.	CoNEXT	2008	DBLP DOI BibTeX RDF
15	Xiaole Bai, Ziqiu Yun, Dong Xuan, Ten-Hwang Lai, Weijia Jia 0001	Deploying Four-Connectivity and Full-Coverage Wireless Sensor Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
15	Gabriel Paillard, Vlady Ravelomanana	Limit Theorems for Degree of Coverage and Lifetime in Large Sensor Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
15	Zhengdong Zhu, Yahong Hu, Xuehan Dong, Zengzhi Li	A Minimum Coverage Method for Web Service Composition.	FSKD (3)	2008	DBLP DOI BibTeX RDF
15	Yu Huang 0009, Gongde Guo, Tianqiang Huang, Hong Chen	Dynamic Partial Coverage Based Feature Selection Method.	FSKD (2)	2008	DBLP DOI BibTeX RDF
15	Jehn-Ruey Jiang, Tzu-Ming Sung	Maintaining Connected Coverage for Wireless Sensor Networks.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
15	Juichi Takahashi, Hideharu Kojima, Zengo Furukawa	Coverage Based Testing for Concurrent Software.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
15	Jennifer Black, Philip Koopman	Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems.	PRDC	2008	DBLP DOI BibTeX RDF
15	Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri	Autonomous Deployment of Self-Organizing Mobile Sensors for a Complete Coverage.	IWSOS	2008	DBLP DOI BibTeX RDF
15	Mahshid Sedghi, Elnaz Koopahi, Armin Alaghi, Mahmood Fathy, Zainalabedin Navabi	An NoC Test Strategy Based on Flooding with Power, Test Time and Coverage Considerations.	VLSI Design	2008	DBLP DOI BibTeX RDF
15	Irith Pomeranz, Sudhakar M. Reddy	Design-for-Testability for Improved Path Delay Fault Coverage of Critical Paths.	VLSI Design	2008	DBLP DOI BibTeX RDF
15	Seongmoon Wang	A BIST TPG for Low Power Dissipation and High Fault Coverage.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
15	Shansi Ren, Qun Li 0001, Haining Wang, Xin Chen 0034, Xiaodong Zhang 0001	Design and Analysis of Sensing Scheduling Algorithms under Partial Coverage for Object Detection in Sensor Networks.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	object detection quality, Sensor networks, system lifetime
15	Bülent Yener, Malik Magdon-Ismail, Fikret Sivrikaya	Joint problem of power optimal connectivity and coverage in wireless sensor networks.	Wirel. Networks	2007	DBLP DOI BibTeX RDF	Stochastic processes/Queueing theory, Simulations, Mathematical programming/Optimization
15	Wei-Tek Tsai, Xinyu Zhou, Raymond A. Paul, Yinong Chen, Xiaoying Bai	A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software.	HASE	2007	DBLP DOI BibTeX RDF	test case selection and ranking, web services, regression testing, statistical testing, group testing, Adaptive testing
15	Hannes Moser, Venkatesh Raman 0001, Somnath Sikdar	The Parameterized Complexity of the Unique Coverage Problem.	ISAAC	2007	DBLP DOI BibTeX RDF
15	Tarik Nahhal, Thao Dang 0001	Test Coverage for Continuous and Hybrid Systems.	CAV	2007	DBLP DOI BibTeX RDF
15	Li-Chun Wang 0001, Cheng-Wei Chiu, Chu-Jung Yeh, Wern-Ho Sheen	Coverage Performance Analysis of OFDM-Based Spatial Multiplexing Systems.	VTC Spring	2007	DBLP DOI BibTeX RDF
15	Gordon Fraser 0001, Franz Wotawa	Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers.	ICSEA	2007	DBLP DOI BibTeX RDF
15	Paulo Sérgio Sausen, Marco Aurélio Spohn, Antonio Marcus Nogueira de Lima, Angelo Perkusich	Bounded-distance multi-coverage backbones in wireless sensor networks.	SAC	2007	DBLP DOI BibTeX RDF	domination in graphs, wireless sensor networks, connected dominating sets, backbone
15	Benoit Donnet, Bradley Huffaker, Timur Friedman, Kimberly C. Claffy	Increasing the Coverage of a Cooperative Internet Topology Discovery Algorithm.	Networking	2007	DBLP DOI BibTeX RDF
15	Yi Feng 0003, Zheng Zhou, Dong Tong 0001, Xu Cheng 0001	Clock domain crossing fault model and coverage metric for validation of SoC design.	DATE	2007	DBLP DOI BibTeX RDF
15	Shyam Lal, Deepak Kumar Panwar	Coverage Analysis of Handoff Algorithm with Adaptive Hysteresis Margin.	ICIT	2007	DBLP DOI BibTeX RDF	adaptive hysteresis, handoff probability, Relative Signal Strength (RSS), shadow fading, Handoff
15	Mario Friske, Bernd-Holger Schlingloff	Improving Test Coverage for UML State Machines Using Transition Instrumentation.	SAFECOMP	2007	DBLP DOI BibTeX RDF
15	Ahmed S. Ghiduk, Mary Jean Harrold, Moheb R. Girgis	Using Genetic Algorithms to Aid Test-Data Generation for Data-Flow Coverage.	APSEC	2007	DBLP DOI BibTeX RDF
15	My T. Thai, Yingshu Li, Feng Wang 0002	O(log n)-Localized Algorithms on the Coverage Problem in Heterogeneous Sensor Networks.	IPCCC	2007	DBLP DOI BibTeX RDF
15	Kemal Akkaya, Mohamed F. Younis	C2AP: Coverage-aware and Connectivity-constrained Actor Positioning in Wireless Sensor and Actor Networks.	IPCCC	2007	DBLP DOI BibTeX RDF
15	Anna Derezinska	Experiences from an Empirical Study of Programs Code Coverage.	SCSS (1)	2007	DBLP DOI BibTeX RDF
15	Arunabha Sen, Nibedita Das, Ling Zhou, Bao Hong Shen, Sudheendra Murthy, Prajesh Bhattacharya	Coverage Problem for Sensors Embedded in Temperature Sensitive Environments.	SECON	2007	DBLP DOI BibTeX RDF
15	Jun-Ru Chang, Chin-Yu Huang	A Study of Enhanced MC/DC Coverage Criterion for Software Testing.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF