|
|
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 |
17 | Marcello Dalpasso, Michele Favalli, Piero Olivo |
Test pattern generation for IDDQ: increasing test quality. |
VTS |
1995 |
DBLP DOI BibTeX RDF |
ATPG strategy, quiescent power supply current monitoring, logic testing, integrated circuit testing, automatic testing, fault coverage, test pattern generation, CMOS logic circuits, I/sub DDQ/ testing |
17 | Sunil R. Das, H. T. Ho, Wen-Ben Jone, Amiya R. Nayak |
An improved output compaction technique for built-in self-test in VLSI circuits. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
output compaction technique, space compression technique, compaction tree generation, detectable error probability, Boolean difference method, syndrome counter, VLSI, logic testing, probability, built-in self test, built-in self-test, Boolean functions, integrated circuit testing, design for testability, BIST, combinational circuits, combinational circuits, automatic testing, DFT, fault coverage, integrated logic circuits, digital circuits, VLSI circuits, digital integrated circuits |
17 | Anand Raghunathan, Pranav Ashar, Sharad Malik |
Test generation for cyclic combinational circuits. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
cyclic combinational circuits, bus structures, single-stuck-at fault test pattern, test generation problem, program RAM, fault diagnosis, logic testing, integrated circuit testing, network topology, combinational circuits, automatic testing, fault coverage, test pattern generators, formal analysis, data paths, testing algorithm, combinational logic circuits, untestable faults |
17 | Gang Luo, Gregor von Bochmann, Alexandre Petrenko |
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing |
17 | Claude Thibeault, Yvon Savaria, Jean-Louis Houle |
Test quality of hierarchical defect-tolerant integrated circuits. |
J. Electron. Test. |
1992 |
DBLP DOI BibTeX RDF |
defect level, fault coverage, defect tolerance, defect modeling, Combinatorial analysis |
17 | Bjørg Reppen, Einar J. Aas |
Combined probabilistic testability calculation and compact test generation for PLAs. |
J. Electron. Test. |
1991 |
DBLP DOI BibTeX RDF |
probabilistic testability, Fault coverage, test pattern generation, programmable logic arrays |
17 | Xu Li 0001, Hannes Frey, Nicola Santoro, Ivan Stojmenovic |
Strictly Localized Sensor Self-Deployment for Optimal Focused Coverage. |
IEEE Trans. Mob. Comput. |
2011 |
DBLP DOI BibTeX RDF |
Coverage, localized algorithms, mobile sensor networks, self-deployment |
17 | Meng-Chun Wueng, Prasan Kumar Sahoo, I-Shyan Hwang |
Time-Synchronized versus Self-Organized K-Coverage Configuration in WSNs. |
ICPP Workshops |
2011 |
DBLP DOI BibTeX RDF |
K-coverage configuration, Eligibility, wireless sensor networks, Fault tolerance |
17 | Daniel Bauer 0002, Owen Rambow |
Increasing Coverage of Syntactic Subcategorization Patterns in FrameNet Using Verbnet. |
ICSC |
2011 |
DBLP DOI BibTeX RDF |
Verbnet, subcategorization pattern, semantic parsing, syntactic coverage, FrameNet |
17 | Ai Chen, Santosh Kumar 0001, Ten-Hwang Lai |
Local Barrier Coverage in Wireless Sensor Networks. |
IEEE Trans. Mob. Comput. |
2010 |
DBLP DOI BibTeX RDF |
Sensor networks, algorithms, coverage, theory, network topology |
17 | Chi Zhang 0001, Yanchao Zhang, Yuguang Fang |
A Coverage Inference Protocol for Wireless Sensor Networks. |
IEEE Trans. Mob. Comput. |
2010 |
DBLP DOI BibTeX RDF |
Connected coverage, wireless sensor network, self-monitoring |
17 | Xiaole Bai, Ziqiu Yun, Dong Xuan, Ten-Hwang Lai, Weijia Jia 0001 |
Optimal Patterns for Four-Connectivity and Full Coverage in Wireless Sensor Networks. |
IEEE Trans. Mob. Comput. |
2010 |
DBLP DOI BibTeX RDF |
full coverage, four-connectivity, optimal deployment pattern, Wireless sensor networks, topology |
17 | Ahmed K. Sadek, Zhu Han 0001, K. J. Ray Liu |
Distributed Relay-Assignment Protocols for Coverage Expansion in Cooperative Wireless Networks. |
IEEE Trans. Mob. Comput. |
2010 |
DBLP DOI BibTeX RDF |
Relay assignment, coverage extension, wireless networks, cooperative diversity, virtual MIMO |
17 | Habib M. Ammari, Sajal K. Das 0001 |
A Study of k-Coverage and Measures of Connectivity in 3D Wireless Sensor Networks. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
3D k-covered wireless sensor networks, Reuleaux tetrahedron, connectivity, coverage |
17 | Yang Xiao 0001, Hui Chen 0001, Kui Wu 0001, Bo Sun 0001, Ying Zhang, Xinyu Sun, Chong Liu 0001 |
Coverage and Detection of a Randomized Scheduling Algorithm in Wireless Sensor Networks. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
quality of service, Wireless sensor network, optimization, coverage, network lifetime |
17 | Meysam Argany, Mir Abolfazl Mostafavi, Farid Karimipour |
Voronoi-Based Approaches for Geosensor Networks Coverage Determination and Optimisation: A Survey. |
ISVD |
2010 |
DBLP DOI BibTeX RDF |
Voronoi diagram, Delaunay triangulation, coverage problem, geosensor networks |
17 | Takuya Iwai, Naoki Wakamiya, Masayuki Murata 0001 |
Error-Tolerant Coverage Control based on Bio-inspired Attractor Selection Model for Wireless Sensor Networks. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
Attractor selection model, Wireless sensor networks, Coverage problem |
17 | Stephan Weißleder |
Simulated Satisfaction of Coverage Criteria on UML State Machines. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
UML State Machines, Testing, Model Transformations, Coverage Criteria |
17 | Odair Jacinto da Silva, Adalberto Nobiato Crespo, Marcos Lordello Chaim, Mário Jino |
Sensitivity of Two Coverage-Based Software Reliability Models to Variations in the Operational Profile. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
software test, software reliability, test coverage, operational profile, testing criteria |
17 | Ranjan Pal, Leana Golubchik |
Analyzing Self-Defense Investments in Internet Security under Cyber-Insurance Coverage. |
ICDCS |
2010 |
DBLP DOI BibTeX RDF |
cyber-insurance, Internet risks, self-defense investments, cyber-insurance coverage, co-operative and non co-operative users |
17 | Dezun Dong, Yunhao Liu 0001, Kebin Liu, Xiangke Liao |
Distributed Coverage in Wireless Ad Hoc and Sensor Networks by Topological Graph Approaches. |
ICDCS |
2010 |
DBLP DOI BibTeX RDF |
cycle partition, distributed, connectivity, coverage, topological graph, wireless ad hoc and sensor networks |
17 | Chris Y. T. Ma, David K. Y. Yau, Nung Kwan Yip, Nageswara S. V. Rao, Jiming Chen 0001 |
Stochastic Steepest-Descent Optimization of Multiple-Objective Mobile Sensor Coverage. |
ICDCS |
2010 |
DBLP DOI BibTeX RDF |
Mobile Sensor Coverage, Optimization |
17 | Qing Gu, Bao Tang, Daoxu Chen |
Optimal Regression Testing Based on Selective Coverage of Test Requirements. |
ISPA |
2010 |
DBLP DOI BibTeX RDF |
Selective coverage, Software testing, Regression testing, Test suite reduction, Test requirements |
17 | Chow-Sing Lin, Chih-Chung Chen, An-Chi Chen |
Partitioning Sensors by Node Coverage Grouping in Wireless Sensor Networks. |
ISPA |
2010 |
DBLP DOI BibTeX RDF |
node coverage grouping, wireless sensor networks, partitioning, power saving |
17 | Kuei-Ping Shih, Chien-Min Chou, I-Hsin Liu, Chun-Chih Li |
On Barrier Coverage in Wireless Camera Sensor Networks. |
AINA |
2010 |
DBLP DOI BibTeX RDF |
Wireless Camera Sensor Networks, Field of View, Barrier Coverage |
17 | Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti |
Coverage Management with Inline Assertions and Formal Test Points. |
VLSI Design |
2010 |
DBLP DOI BibTeX RDF |
Simulation, Verification, Coverage, Test Plan |
17 | Mark Horowitz, Metha Jeeradit, Frances Lau, Sabrina Liao, ByongChan Lim, James Mao |
Fortifying analog models with equivalence checking and coverage analysis. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
analog validation, model-first design, design methodology, fault coverage, equivalence checking, formal validation |
17 | Gaurav S. Kasbekar, Yigal Bejerano, Saswati Sarkar |
Lifetime and coverage guarantees through distributed coordinate-free sensor activation. |
MobiCom |
2009 |
DBLP DOI BibTeX RDF |
coordinate-free, wireless sensor networks, approximation algorithms, distributed algorithms, coverage, network lifetime |
17 | Fangyang Shen, Chunlei Liu 0010, Jun Zhang |
A Distributed Coverage-Aware Sleep Scheduling Algorithm for Wireless Sensor Networks. |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
Wireless sensor networks, network lifetime, sensor systems, network coverage |
17 | E. S. F. Najumudheen, Rajib Mall, Debasis Samanta |
A Dependence Graph-Based Test Coverage Analysis Technique for Object-Oriented Programs. |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
Test coverage analysis, software testing, object-oriented program, dependence graph |
17 | Ali Taleghani, Joanne M. Atlee |
State-Space Coverage Estimation. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
coverage estimation, Model checking, automatic verification |
17 | Martin Weiglhofer, Franz Wotawa |
Improving Coverage Based Test Purposes. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
coverage based testing, tgv, model-based testing, conformance testing, LOTOS, test purposes |
17 | Gordon Fraser 0001, Franz Wotawa |
Increasing Diversity in Coverage Test Suites Using Model Checking. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
test redundancy, test diversity, model checking, test case generation, specification based testing, test coverage |
17 | Tiago L. Alves, Joost Visser 0001 |
Static Estimation of Test Coverage. |
SCAM |
2009 |
DBLP DOI BibTeX RDF |
metrics, static analysis, estimation, slicing, test coverage |
17 | Se-Jin Kim, Seung-Yeon Kim, Byung-Bog Lee, Seungwan Ryu, Hyong-Woo Lee, Choong-Ho Cho |
Multi-Hop Relay Based Coverage Extension in the IEEE802.16j Based Mobile WiMAX Systems. |
NCM (1) |
2008 |
DBLP DOI BibTeX RDF |
IEEE802.16j, NBTC, WBTC, Coverage Extension, Cell Planning, Cost Minimization, WiBro, Multi-hop Relay |
17 | Khin Haymar Saw Hla, YoungSik Choi, Jong Sou Park |
Self Organized Mobility in Nanosensor Network Based on Particle Swarm Optimization and Coverage Criteria. |
NCM (1) |
2008 |
DBLP DOI BibTeX RDF |
nanosensor network, nanorobots, particle swarm optimization, coverage |
17 | Shinji Inoue, Shigeru Yamada |
Two-Dimensional Software Reliability Assessment with Testing-Coverage. |
SSIRI |
2008 |
DBLP DOI BibTeX RDF |
Cobb-Douglas Production Function, Two-Dimensional NHPP, Software Reliability Assessment Measures, Parameter Estimation, Testing-Coverage, Software Reliability Growth Model, Goodness-of-Fit |
17 | Mohamed Chedly Ghedira, Walid Ben-Ameur, Hossam Afifi |
A Novel Route Guidance Algorithm with Maximum Coverage and Minimum Handover for Vehicular Networks. |
ICN |
2008 |
DBLP DOI BibTeX RDF |
Optimization, Coverage, Vehicular networks, Route guidance |
17 | Ronaldo Menezes, Francisco Martins, Francisca Emanuelle Vieira, Rafael Silva, Márcio Braga |
A model for terrain coverage inspired by ant's alarm pheromones. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
terrain coverage, software testing, swarm intelligence, ant-colony optimization |
17 | Nicolas Oury |
Pattern matching coverage checking with dependent types using set approximations. |
PLPV |
2007 |
DBLP DOI BibTeX RDF |
coverage checking, set approximation, pattern matching |
17 | Xia Cai, Michael R. Lyu |
Software Reliability Modeling with Test Coverage: Experimentation and Measurement with A Fault-Tolerant Software Project. |
ISSRE |
2007 |
DBLP DOI BibTeX RDF |
software testing, test coverage, software reliability modeling, fault-tolerant software |
17 | Lan Lin, Hyunyoung Lee |
Distributed algorithms for dynamic coverage in sensor networks. |
PODC |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, distributed algorithms, sensor coverage |
17 | Svetlana Larionova, Nuno Almeida, Lino Marques, Anibal T. de Almeida |
Olfactory coordinated area coverage. |
Auton. Robots |
2006 |
DBLP DOI BibTeX RDF |
Complete coverage, Robot olfaction, Cleaning robots, Robot cooperation |
17 | Yu Gu 0001, Tian He 0001 |
uScan: a lightweight two-tier global sensing coverage design. |
SenSys |
2006 |
DBLP DOI BibTeX RDF |
sensor networks, energy conservation, sensing coverage |
17 | Raúl A. Santelices, Saurabh Sinha, Mary Jean Harrold |
Subsumption of program entities for efficient coverage and monitoring. |
SOQUA |
2006 |
DBLP DOI BibTeX RDF |
entity hierarchies, predicate conditions, subsumption, coverage criteria |
17 | Gilbert Laporte, Juan A. Mesa, Francisco A. Ortega, Ignacio Sevillano |
Maximizing Trip Coverage in the Location of a Single Rapid Transit Alignment. |
Ann. Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
trip coverage, heuristics, effectiveness, transit systems |
17 | Renée C. Bryce, Charles J. Colbourn |
Test prioritization for pairwise interaction coverage. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
biased covering arrays, pairwise interaction coverage, greedy algorithm, covering arrays, software interaction testing, mixed-level covering arrays |
17 | Renée C. Bryce, Charles J. Colbourn |
Test prioritization for pairwise interaction coverage. |
A-MOST |
2005 |
DBLP DOI BibTeX RDF |
biased covering arrays, pairwise interaction coverage, greedy algorithm, covering arrays, software interaction testing, mixed-level covering arrays |
17 | Xiaoyan Li, Thu D. Nguyen, Richard P. Martin |
Using adaptive range control to optimize 1-hop broadcast coverage in dense wireless networks. |
SenSys |
2003 |
DBLP DOI BibTeX RDF |
range control, wireless networks, broadcast, coverage, probabilistic modeling, power control |
17 | Hillery C. Hunter, Wen-mei W. Hwu |
Code coverage and input variability: effects on architecture and compiler research. |
CASES |
2002 |
DBLP DOI BibTeX RDF |
architecture, compiler, benchmarks, DSP, telecommunications, code coverage |
17 | Christina Pavlopoulou, Michal Young |
Residual Test Coverage Monitoring. |
ICSE |
1999 |
DBLP DOI BibTeX RDF |
Java, testing, coverage, instrumentation |
17 | Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal |
A Study in Coverage-Driven Test Generation. |
DAC |
1999 |
DBLP DOI BibTeX RDF |
transition coverage, test generation, formal models, functional verification |
17 | Cheer-Sun D. Yang, Amie L. Souter, Lori L. Pollock |
All-du-path Coverage for Parallel Programs. |
ISSTA |
1998 |
DBLP DOI BibTeX RDF |
all-du-path coverage, parallel programming, testing tool |
17 | Hong Zhu 0002, Patrick A. V. Hall, John H. R. May |
Software Unit Test Coverage and Adequacy. |
ACM Comput. Surv. |
1997 |
DBLP DOI BibTeX RDF |
comparing testing effectiveness, software unit test, fault detection, test coverage, test adequacy criteria, testing methods |
17 | V. Kim, T. Chen |
Assessing SRAM test coverage for sub-micron CMOS technologies. |
VTS |
1997 |
DBLP DOI BibTeX RDF |
submicron CMOS technologies, SRAM test coverage assessment, memory fault probability model, memory array, data retention faults, memory fault coverages, memory test algorithms, functional fault class coverages, 0.5 to 1 mum, stuck-at faults, transition faults, stuck-open faults, coupling faults, physical defects, CMOS memory circuits |
17 | Irith Pomeranz, Sudhakar M. Reddy |
EXTEST: a method to extend test sequences of synchronous sequential circuits to increase the fault coverage. |
VTS |
1997 |
DBLP DOI BibTeX RDF |
EXTEST, test generation procedure, logic testing, fault coverage, synchronous sequential circuits, test sequences |
17 | Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer |
An observability-based code coverage metric for functional simulation. |
ICCAD |
1996 |
DBLP DOI BibTeX RDF |
verification, code coverage, functional simulation |
17 | Ned Greene |
Hierarchical Polygon Tiling with Coverage Masks. |
SIGGRAPH |
1996 |
DBLP DOI BibTeX RDF |
coverage mask, visibility, tiling, antialiasing, octree, BSP tree, recursive subdivision |
17 | Robert P. Treuer, Vinod K. Agarwal, Hideo Fujiwara |
A New Built-In Self-Test Design for PLA's with High Fault Coverage and Low Overhead. |
IEEE Trans. Computers |
1987 |
DBLP DOI BibTeX RDF |
output response compression, parity bits, Built-in self test (BIST), fault models, fault coverage, VLSI design, test pattern generation, programmable logic array (PLA) |
17 | Janusz Rajski, Jerzy Tyszer |
The Influence of Masking Phenomenon on Coverage Capability of Single Fault Test Sets in PLA's. |
IEEE Trans. Computers |
1986 |
DBLP DOI BibTeX RDF |
PLA testing, contact faults, fault coverage, fault masking, multiple fault detection, Combinatorial analysis |
17 | Vinod K. Agarwal, Gerald M. Masson |
Recursive Coverage Projection of Test Sets. |
IEEE Trans. Computers |
1979 |
DBLP DOI BibTeX RDF |
recursive projection, internal fanout-free networks, Consistency, fault detection, coverage, multiple faults |
17 | Jack J. Stiffler |
The Reliability of a Fault-Tolerant Configuration Having Variable Coverage. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
redundancy, Fault coverage, reliability modeling |
16 | Andrew DeOrio, Ilya Wagner, Valeria Bertacco |
Dacota: Post-silicon validation of the memory subsystem in multi-core designs. |
HPCA |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Hojun Jaygarl, Carl K. Chang, Sunghun Kim 0001 |
Practical Extensions of a Randomized Testing Tool. |
COMPSAC (1) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Gábor Kovács, Gábor Árpád Németh, Mahadevan Subramaniam, Zoltán Pap |
Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications. |
SDL Forum |
2009 |
DBLP DOI BibTeX RDF |
SDL based test selection, MSC test cases, string edit distance |
16 | Irith Pomeranz, Sudhakar M. Reddy |
The Effect of Filling the Unspecified Values of a Test Set on the Test Set Quality. |
VLSI Design |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Wenhua Wang, Yu Lei 0001, Sreedevi Sampath, Raghu Kacker, Rick Kuhn, James Lawrence |
A combinatorial approach to building navigation graphs for dynamic web applications. |
ICSM |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Mojtaba Mehrara, Todd M. Austin |
Exploiting selective placement for low-cost memory protection. |
ACM Trans. Archit. Code Optim. |
2008 |
DBLP DOI BibTeX RDF |
Partial memory protection, selective placement, transient faults, fault-tolerant design, memory system design |
16 | Usman Farooq, Chiou Peng Lam, Huaizhong Li |
Towards Automated Test Sequence Generation. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
Model Based Testing, Colored Petri Nets, Activity Diagram |
16 | Cornelius Hellge, Thomas Schierl, Jörg Huschke, Thomas Rusert, Markus Kampmann, Thomas Wiegand |
Temporal scalability and layered transmission. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Seung-Yeon Kim, Se-Jin Kim, Seungwan Ryu, Hyong-Woo Lee, Choong-Ho Cho |
Performance analysis of single-frame mode and multi-frame mode in IEEE 802.16j MMR system. |
PIMRC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Andres Arjona, Antti Ylä-Jääski |
Mobile IP as an Enabling Technology for VoIP in Metropolitan Wireless Mesh Networks. |
VTC Spring |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Shengbo Chen, Huaikou Miao, Zhong-sheng Qian |
Modeling and Verifying Web Browser Interactions. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Meltem Sönmez Turan, Çagdas Çalik, Nurdan Buz Saran, Ali Doganaksoy |
New Distinguishers Based on Random Mappings against Stream Ciphers. |
SETA |
2008 |
DBLP DOI BibTeX RDF |
Random Mappings, TMTO Attacks, Stream Ciphers, Randomness tests |
16 | Roy Patrick Tan, Stephen Edwards |
Evaluating Automated Unit Testing in Sulu. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
automated unit testing, software engineering, software testing, programming languages, design by contract, test evaluation |
16 | Dazhi Zhang, Wenhua Wang, Donggang Liu, Yu Lei 0001, David Chenho Kung |
Reusing Existing Test Cases for Security Testing. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Heon-Mo Koo, Prabhat Mishra 0001 |
Specification-based compaction of directed tests for functional validation of pipelined processors. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
processor validation, test compaction |
16 | François-Fabien Ferhani, Nirmal R. Saxena, Edward J. McCluskey, Phil Nigh |
How Many Test Patterns are Useless? |
VTS |
2008 |
DBLP DOI BibTeX RDF |
Test Patterns, Test Economics, Truncation |
16 | Liang Liu 0001, Xi Zhang 0005, Huadong Ma |
Percolation-theory based density derivations of wireless sensor network nodes for preventing exposure paths. |
CISS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Guiling Wang 0001, Guohong Cao, Piotr Berman, Thomas F. La Porta |
Bidding Protocols for Deploying Mobile Sensors. |
IEEE Trans. Mob. Comput. |
2007 |
DBLP DOI BibTeX RDF |
bidding protocol, distributed algorithm, Mobile sensor networks, sensor deployment |
16 | Fred Daneshgaran, Massimiliano Laddomada, Marina Mondin |
Connection between system parameters and localization probability in network of randomly distributed nodes. |
IEEE Trans. Wirel. Commun. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Mats Per Erik Heimdahl, George Devaraj |
On the effect of test-suite reduction on automatically generated model-based tests. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Test reduction, Fault finding, Specification-based testing, Automated test generation, Model checkers |
16 | Ming Ma 0005, Yuanyuan Yang 0001 |
Adaptive Triangular Deployment Algorithm for Unattended Mobile Sensor Networks. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, adaptive algorithms, mobile sensors, Sensor deployment, self-organizing networks |
16 | Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou |
Observability Analysis on HDL Descriptions for Effective Functional Validation. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Ruiqin Zhao, Aijun Wen, Zengji Liu, Peng Yue |
Maximum Life-Time Localized Broadcast Routing in MANET. |
NPC |
2007 |
DBLP DOI BibTeX RDF |
life-time, ML2B, localized, Broadcast, wireless ad hoc networks |
16 | Harri Holma, Timo Ahonpää, Elisa Prieur |
UMTS900 Co-Existence with GSM900. |
VTC Spring |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Tero Isotalo, Jukka Lempiäinen |
HSDPA Measurements for Indoor DAS. |
VTC Spring |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Sying-Jyan Wang, Tung-Hua Yeh |
High-level test synthesis for delay fault testability. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Deepak Mathaikutty, Sandeep K. Shukla, Sreekumar V. Kodakara, David J. Lilja, Ajit Dingankar |
Design fault directed test generation for microprocessor validation. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Wei-Fang Cheng, Xiangke Liao, Changxiang Shen, Dezun Dong |
EETO: An Energy-Efficient Target-Oriented Clustering Protocol in Wireless Sensor Networks. |
ICDCIT |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Yongyan Zheng, Jiong Zhou, Paul Krause |
A Model Checking based Test Case Generation Framework forWeb Services. |
ITNG |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Kiran Lakhotia, Mark Harman, Phil McMinn |
A multi-objective approach to search-based test data generation. |
GECCO |
2007 |
DBLP DOI BibTeX RDF |
multi-objective genetic algorithms, evolutionary testing, automated test data generation |
16 | Maytham Safar, Sami Habib |
Hard Constrained Vertex-Cover Communication Algorithm for WSN. |
EUC |
2007 |
DBLP DOI BibTeX RDF |
discrete space, Wireless sensor network, optimization, communication, vertex cover, evolutionary approach |
16 | Andres Arjona, Sami Takala |
The Google Muni Wifi Network--Can it Compete with Cellular Voice? |
AICT |
2007 |
DBLP DOI BibTeX RDF |
Muni WiFi, VoIP performance, evaluation, mesh, Google, Skype |
16 | Ajitha Rajan |
Automated requirements-based test case generation. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
|
16 | R. K. Singh, Pravin Chandra, Yogesh Singh |
An evaluation of Boolean expression testing techniques. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
mutant, software testing, fault, branch testing |
16 | Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed |
Efficient assertion based verification using TLM. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Satoshi Kataoka, Shinichi Honiden |
Multi-Robot Positioning Model: Multi-Agent Approach. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Sreedevi Sampath, Sara Sprenkle, Emily Gibson, Lori L. Pollock |
Web Application Testing with Customized Test Requirements - An Experimental Comparison Study. |
ISSRE |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Chun-Hsien Wu, Kuo-Chuan Lee, Yeh-Ching Chung |
A Delaunay Triangulation Based Method for Wireless Sensor Network Deployment. |
ICPADS (1) |
2006 |
DBLP DOI BibTeX RDF |
|
|
|