|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8773 occurrences of 3334 keywords
|
|
|
Results
Found 18073 publication records. Showing 18073 according to the selection in the facets
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 |
Displaying result #601 - #700 of 18073 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|