|
|
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 |
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 |
|
|
|