|
|
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 |
81 | Ai Chen, Santosh Kumar 0001, Ten-Hwang Lai |
Designing localized algorithms for barrier coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCom ![In: Proceedings of the 13th Annual International Conference on Mobile Computing and Networking, MOBICOM 2007, Montréal, Québec, Canada, September 9-14, 2007, pp. 63-74, 2007, ACM, 978-1-59593-681-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
local barrier coverage, wireless sensor networks, coverage, network topology, localized algorithms |
77 | Noa Agmon, Noam Hazon, Gal A. Kaminka |
The giving tree: constructing trees for efficient offline and online multi-robot coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 52(2-4), pp. 143-168, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68T40 Robotics |
75 | Atul Gupta, Pankaj Jalote |
An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, pp. 365-378, 2006, Springer, 3-540-33056-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Block coverage, Predicate coverage, Software testing, Experiment, Statistical analysis, Test case generation, Mutation Operator, Branch coverage |
73 | Santosh Kumar 0001, Ten-Hwang Lai, Anish Arora |
Barrier coverage with wireless sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCom ![In: Proceedings of the 11th Annual International Conference on Mobile Computing and Networking, MOBICOM 2005, Cologne, Germany, August 28 - September 2, 2005, pp. 284-298, 2005, ACM, 1-59593-020-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
critical conditions, wireless sensor networks, coverage, network topology, localized algorithms, random geometric graphs, barrier coverage |
69 | Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl |
Requirements Coverage as an Adequacy Measure for Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 86-104, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
69 | Atul Gupta, Pankaj Jalote |
An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 10(2), pp. 145-160, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Coverage based testing, Statistical analysis, Test case generation, Experimental evaluation, Coverage criteria, Mutation operators |
63 | Guoliang Xing, Xiaorui Wang, Yuanfang Zhang, Chenyang Lu 0001, Robert Pless, Christopher D. Gill |
Integrated coverage and connectivity configuration for energy conservation in sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Sens. Networks ![In: ACM Trans. Sens. Networks 1(1), pp. 36-72, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
network geometry, Sensor network, connectivity, wireless ad hoc network, coverage, energy conservation, topology maintenance |
63 | Seapahn Megerian, Farinaz Koushanfar, Miodrag Potkonjak, Mani B. Srivastava |
Worst and Best-Case Coverage in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 4(1), pp. 84-92, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
maximal breach, maximal support, best-case coverage, worst-case coverage, Sensor networks, coverage |
61 | Atif M. Memon, Mary Lou Soffa, Martha E. Pollack |
Coverage criteria for GUI testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 256-267, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
GUI test coverage, event-based coverage, event-flow graph, integration tree, GUI testing, component testing |
60 | Yingchi Mao, Zhuoming Xu, Yi Liang |
An Energy Efficient Connected Coverage Protocol in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM ![In: Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007, Proceedings, pp. 382-394, 2007, Springer, 978-3-540-72483-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Connected Coverage, Wireless Sensor Networks, Dominating Set |
58 | Albert F. Myers |
k-out-of-n: G System Reliability With Imperfect Fault Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 56(3), pp. 464-473, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Maggie Xiaoyan Cheng, Lu Ruan 0001, Weili Wu 0001 |
Coverage breach problems in bandwidth-constrained sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Sens. Networks ![In: ACM Trans. Sens. Networks 3(2), pp. 12, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
coverage breach, scheduling, Sensor networks, energy efficiency, coverage, network lifetime |
57 | Kenneth Koster, David C. Kao |
State coverage: a structural test adequacy criterion for behavior checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 541-544, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fault-based, coverage, unit testing, mutation testing, structural testing, test adequacy criteria, state coverage |
57 | Indradeep Ghosh, Srivaths Ravi 0001 |
On automatic generation of RTL validation test benches using circuit testing techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 13th ACM Great Lakes Symposium on VLSI 2003, Washington, DC, USA, April 28-29, 2003, pp. 289-294, 2003, ACM, 1-58113-677-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
OCCOM, RTL ATPG, RTL testing, path coverage, small validation, toggle coverage, test, testing, generation, ATPG, fault coverage, code coverage, test sets, design validation, coverage metrics, universal test sets, testbench, branch coverage |
56 | Wei Wang 0002, Vikram Srinivasan, Bang Wang, Kee Chaing Chua |
Coverage for target localization in wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the Fifth International Conference on Information Processing in Sensor Networks, IPSN 2006, Nashville, Tennessee, USA, April 19-21, 2006, pp. 118-125, 2006, ACM, 1-59593-334-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
sensor networks, coverage, target tracking |
56 | Azzedine Boukerche, Xin Fei, Regina Borges de Araujo |
An energy aware coverage-preserving scheme for wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PE-WASUN ![In: Proceedings of the 2nd ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2005, Montreal, Quebec, Canada, October 10-13, 2005, pp. 205-213, 2005, ACM, 1-59593-182-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
coverage scheme, energy saving protocol, time schedule, distributed algorithm, energy aware, decision models |
56 | Xiaorui Wang, Guoliang Xing, Yuanfang Zhang, Chenyang Lu 0001, Robert Pless, Christopher D. Gill |
Integrated coverage and connectivity configuration in wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, SenSys 2003, Los Angeles, California, USA, November 5-7, 2003, pp. 28-39, 2003, ACM, 1-58113-707-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
network geometry, sensor network, connectivity, wireless ad hoc network, coverage, energy conservation, topology maintenance |
55 | Feng Chen, Peng Jiang, Anke Xue |
Probability-Based Coverage Algorithm for 3D Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 364-371, 2008, Springer, 978-3-540-85929-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
three dimensional coverage, coverage control, Wireless sensor networks, K-coverage |
54 | Wei-Fang Cheng, Mo Li 0001, Kebin Liu, Yunhao Liu 0001, Xiang-Yang Li 0001, Xiangke Liao |
Sweep coverage with mobile sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-9, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
54 | Yuh-Ren Tsai |
Coverage-Preserving Routing Protocols for Randomly Distributed Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 6(4), pp. 1240-1245, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
54 | Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul |
Temporal Modeling of Software Test Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 823-828, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
54 | Xin Fei, Azzedine Boukerche |
A performance evaluation of a coverage compensation based algorithm for wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 11th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2008, Vancouver, British Columbia, Canada, October 27-31, 2008, pp. 109-116, 2008, ACM, 978-1-60558-235-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
coverage compensation, node partition, genetic algorithm, wireless sensor network, coverage |
54 | William E. Howden |
Systems testing and statistical test data coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 500-504, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
statistical test data coverage, unit modules, systems level coverage, reliability, software reliability, systems testing |
52 | Chia-Ching Ooi, Christian Schindelhauer |
Smart ring: utilizing coverage holes for mobile target tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDES ![In: MEDES '09: International ACM Conference on Management of Emergent Digital EcoSystems, Lyon, France, October 27-30, 2009, pp. 345-352, 2009, ACM, 978-1-60558-829-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributed algorithms, target tracking, coverage holes |
52 | Santosh Kumar 0001, Ten-Hwang Lai, Anish Arora |
Barrier coverage with wireless sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 13(6), pp. 817-834, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Wireless sensor networks, Network topology, Barrier coverage |
52 | Habib M. Ammari, Sajal K. Das 0001 |
Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 35-49, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
kCWSN, fault tolerance, measures, connectivity, coverage |
52 | Xia Cai, Michael R. Lyu |
The effect of code coverage on fault detection under different testing profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-7, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
software testing, fault detection, code coverage |
52 | Xia Cai, Michael R. Lyu |
The effect of code coverage on fault detection under different testing profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A-MOST ![In: Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, A-MOST 2005, St. Louis, Missouri, USA, 2005, ACM, 1-59593-115-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
software testing, fault detection, code coverage |
52 | Yong Woo Kim |
Efficient use of code coverage in large-scale software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative Research, October 6-9, 2003, Toronto, Ontario, Canada, pp. 145-155, 2003, IBM. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
Pareto-like defect distribution, large-scale software development, software quality assurance, code coverage, cyclomatic complexity |
51 | Gary Feierbach, Vijay Gupta |
True Coverage: A Goal of Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 4th International Symposium on Quality of Electronic Design (ISQED 2003), 24-26 March 2003, San Jose, CA, USA, pp. 75-78, 2003, IEEE Computer Society, 0-7695-1881-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
toggle coverage, true coverage, diagnostic strategy, VLSI, Coverage, fault simulation, design verification, stuck faults |
51 | Sigal Asaf, Eitan Marcus, Avi Ziv |
Defining coverage views to improve functional coverage analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 41-44, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
functional verification, coverage analysis |
50 | Raúl A. Santelices, James A. Jones, Yanbing Yu, Mary Jean Harrold |
Lightweight fault-localization using multiple coverage types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, pp. 56-66, 2009, IEEE, 978-1-4244-3452-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
50 | Hai Jiang 0001, Curt H. Davis |
Coverage expansion and capacity improvement from soft handoff for CDMA cellular systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 4(5), pp. 2163-2171, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
50 | Alon Gluska |
Practical methods in coverage-oriented verification of the merom microprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 332-337, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
logic design, coverage, logic verification, functional coverage |
50 | Jerry Gao 0002, Raquel Espinoza, Jingsha He |
Testing Coverage Analysis for Software Component Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 463-470, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
component test coverage, test coverage analysis, component testing |
48 | Habib M. Ammari, Sajal K. Das 0001 |
Fault tolerance measures for large-scale wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 4(1), pp. 2:1-2:28, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
k-covered wireless sensor networks, fault tolerance, connectivity, coverage |
48 | Jurek Czyzowicz, Evangelos Kranakis, Danny Krizanc, Ioannis Lambadaris, Lata Narayanan, Jaroslav Opatrny, Ladislav Stacho, Jorge Urrutia, Mohammadreza Yazdani |
On Minimizing the Maximum Sensor Movement for Barrier Coverage of a Line Segment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHOC-NOW ![In: Ad-Hoc, Mobile and Wireless Networks, 8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009, Proceedings, pp. 194-212, 2009, Springer, 978-3-642-04382-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Intruder, Optimal Movement, Sensors, NP-complete, Coverage, Detection, PTAS, Barrier, Line Segment |
48 | Swapna S. Gokhale, Robert E. Mullen |
From Test Count to Code Coverage using the Lognormal Failure Rate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France, pp. 295-305, 2004, IEEE Computer Society, 0-7695-2215-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Lognormal, Software Test, Coverage, Software Reliability Growth |
48 | Ameet Bagwe, Rubin A. Parekhji |
Functional testing and fault analysis based fault coverage enhancement techniques for embedded core based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 260-, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
fault coverage enhancement, embedded core based systems, test constraints, Texas Instruments TMS320C27xx, memory wrapper logic, fault diagnosis, logic testing, integrated circuit testing, application specific integrated circuits, functional testing, digital signal processing chips, fault analysis |
48 | C. Richard Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw |
Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 268-271, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
conditional coverage, inconclusive results, formal verification, code coverage, verifiability, coverage hole |
48 | Yuen-Tak Yu, Man Fai Lau |
Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany, pp. 14-21, 2004, IEEE Computer Society, 0-7695-2207-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Condition coverage, decision coverage, logical decisions, MUMCUT, coverage criteria, MC/DC |
47 | Mechelle Gittens, Keri Romanufa, David Godwin, Jason Racicot |
All code coverage is not created equal: a case study in prioritized code coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, October 16-19, 2006, Toronto, Ontario, Canada, pp. 131-145, 2006, IBM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
large applications, software testing, code coverage |
46 | Huawei Miao, Chia-Ching Ooi, Xiaowen Wu, Christian Schindelhauer |
Coverage-hole trap model in target tracking using distributed relay-robot network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1299-1304, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
46 | Audris Mockus, Nachiappan Nagappan, Trung T. Dinh-Trong |
Test coverage and post-verification defects: A multiple case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, ESEM 2009, October 15-16, 2009, Lake Buena Vista, Florida, USA, pp. 291-301, 2009, IEEE Computer Society, 978-1-4244-4842-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
46 | Xin Ai 0002, Vikram Srinivasan, Chen-Khong Tham |
Optimality and Complexity of Pure Nash Equilibria in the Coverage Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 26(7), pp. 1170-1182, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Mingze Zhang, Mun Choon Chan, Akkihebbal L. Ananda |
Coverage Protocol for Wireless Sensor Networks Using Distance Estimates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECON ![In: Proceedings of the Fourth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2007, Merged with IEEE International Workshop on Wireless Ad-hoc and Sensor Networks (IWWAN), June 18-21, 2007, San Diego, California, USA, pp. 183-192, 2007, IEEE, 1-4244-1268-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Laurent Fournier, Avi Ziv |
Using Virtual Coverage to Hit Hard-To-Reach Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 104-119, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga |
A Semantic Framework for Test Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006., pp. 399-414, 2006, Springer, 3-540-47237-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Dingxing Zhang, Ming Xu 0002, Shulin Wang, Boyun Zhang |
Minimization of the Redundant Coverage for Dense Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings, pp. 415-424, 2007, Springer, 978-3-540-72684-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
AM k-Coverage, coverage sets, genetic algorithm, multi-objective optimization, Pareto-optimal |
46 | Swapna S. Gokhale, Robert E. Mullen |
Dynamic Code Coverage Metrics: A Lognormal Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 11th IEEE International Symposium on Software Metrics (METRICS 2005), 19-22 September 2005, Como Italy, pp. 33, 2005, IEEE Computer Society, 0-7695-2371-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Coverage types, Lognormal, Software Test, Code Coverage, Software Reliability Growth |
46 | J. Jenny Li |
Prioritize Code for Testing to Improve Code Coverage of Complex Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 8-11 November 2005, Chicago, IL, USA, pp. 75-84, 2005, IEEE Computer Society, 0-7695-2482-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
coverage priority, Testing, code coverage, dominator analysis |
46 | Hridesh Rajan, Kevin J. Sullivan |
Aspect language features for concern coverage profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 4th International Conference on Aspect-Oriented Software Development, AOSD 2005, Chicago, Illinois, USA, March 14-18, 2005, pp. 181-191, 2005, ACM, 1-59593-042-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Eos, concern coverage, coverage adequacy criteria, generalized advice, generalized join point models, C# |
46 | Hailong Cui, Sharad C. Seth, Shashank K. Mehta |
Modeling Fault Coverage of Random Test Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 19(3), pp. 271-284, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
fault-coverage prediction, cost-benefit analysis of fault simulation, variance of fault coverage, BIST, probabilistic model |
46 | Alon Gluska |
Coverage-oriented verification of banias. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 280-285, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
logic design, coverage, logic verification, functional coverage |
44 | Richard N. Taylor, David L. Levine, Cheryl D. Kelly |
Structural Testing of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(3), pp. 206-215, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs |
44 | Joydeep Chandra, Santosh Kumar Shaw, Niloy Ganguly |
Analyzing Network Coverage in Unstructured Peer-to-Peer Networks: A Complex Network Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: NETWORKING 2009, 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings, pp. 690-702, 2009, Springer, 978-3-642-01398-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Network Coverage Models, Overlay Networks, Peer-to-Peer Networks, Gnutella |
44 | Mark Hennessy, James F. Power |
Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 13(4), pp. 343-368, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Grammar-based software, Rule coverage, Software testing, Mutation testing, Test suite reduction |
44 | Weixin Xie, Wenming Cao 0001, Shan Meng |
Coverage analysis for sensor networks based on Clifford algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(5), pp. 460-475, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
rotation operator, sensor network, distance measure, coverage analysis, Clifford algebra |
44 | Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar |
Advanced Analysis Techniques for Cross-Product Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(11), pp. 1367-1379, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Functional verification, coverage analysis, classification algorithms |
44 | Loukas Lazos, Radha Poovendran |
Stochastic coverage in heterogeneous sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Sens. Networks ![In: ACM Trans. Sens. Networks 2(3), pp. 325-358, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
sensor networks, heterogeneous, coverage, Stochastic |
44 | Sung-Ho Hwang, Min-Su Kim, Tae Young Byun |
A Simple Scheme with Low Energy consumption for Coverage Maintenance in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UCS ![In: Ubiquitous Computing Systems, Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006, Proceedings, pp. 467-477, 2006, Springer, 3-540-46287-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Coverage and Wireless Sensor Networks, Energy consumption |
44 | Kai Song, Yonghong Tian 0001, Tiejun Huang 0001 |
Improving the Image Retrieval Results Via Topic Coverage Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCM ![In: Advances in Multimedia Information Processing - PCM 2006, 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings, pp. 193-200, 2006, Springer, 3-540-48766-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
topic coverage, Image retrieval, re-rank |
44 | Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur |
Applications of synchronization coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA, pp. 206-212, 2005, ACM, 1-59593-080-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
testing, coverage, multi-threading |
44 | Martina Marré, Antonia Bertolino |
Using Spanning Sets for Coverage Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(11), pp. 974-984, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
ddgraph, spanning sets, data flow, Control flow, subsumption, coverage criteria |
44 | Deying Li 0001, Jiannong Cao 0001, Dongsheng Liu, Ying Yu, Hui Sun |
Algorithms for the m-Coverage Problem and k-Connected m-Coverage Problem in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPC ![In: Network and Parallel Computing, IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings, pp. 250-259, 2007, Springer, 978-3-540-74783-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
k-connected m-coverage, sensor networks, approximation algorithm, energy-efficient |
43 | J. Paul Myers Jr. |
Adaptive approaches to structural software testing (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 432, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
42 | Ben H. Smith, Laurie A. Williams |
On guiding the augmentation of an automated test suite via mutation analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 14(3), pp. 341-369, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Line coverage, Empirical effectiveness, Test case augmentation, Mutation testing tool, Statement coverage, Web application, Open source, Fault injection, Unit testing, Mutation testing, Mutation analysis, Test adequacy |
42 | Tao Xie 0001, Jianjun Zhao 0001 |
A framework and tool supports for generating test inputs of AspectJ programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 5th International Conference on Aspect-Oriented Software Development, AOSD 2006, Bonn, Germany, March 20-24, 2006, pp. 190-201, 2006, ACM, 1-59593-300-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
coverage measurement, software testing, aspect-oriented programs, test generation, aspect-oriented software development, AspectJ, coverage criteria |
42 | Albert F. Myers, Antoine Rauzy |
Efficient Reliability Assessment of Redundant Systems Subject to Imperfect Fault Coverage Using Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 57(2), pp. 336-348, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Sachin Parikh, Vinod Vokkarane, Liudong Xing, Dayalan Kasilingam |
Node-Replacement Policies to Maintain Threshold-Coverage in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 16th International Conference on Computer Communications and Networks, IEEE ICCCN 2007, Turtle Bay Resort, Honolulu, Hawaii, USA, August 13-16, 2007, pp. 760-765, 2007, IEEE, 978-1-4244-1251-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Hongxing Bai, Xi Chen 0036, Yu-Chi Ho, Xiaohong Guan |
Information Coverage Configuration with Energy Preservation in Large Scale Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Sixth International Conference on Computer and Information Technology (CIT 2006), 20-22 September 2006, Seoul, Korea, pp. 221, 2006, IEEE Computer Society, 0-7695-2687-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Xu Li, Nicola Santoro |
An Integrated Self-deployment and Coverage Maintenance Scheme for Mobile Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSN ![In: Mobile Ad-hoc and Sensor Networks, Second International Conference, MSN 2006, Hong Kong, China, December 13-15, 2006, Proceedings, pp. 847-860, 2006, Springer, 3-540-49932-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Yuzhen Liu, Weifa Liang |
Approximate Coverage in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 30th Annual IEEE Conference on Local Computer Networks (LCN 2005), 15-17 November 2005, Sydney, Australia, Proceedings, pp. 68-75, 2005, IEEE Computer Society, 0-7695-2421-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Neelam Gupta, Zachary V. Heidepriem |
A New Structural Coverage Criterion for Dynamic Detection of Program Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 49-59, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dynamic analysis, Test data generation, execution traces, path testing, program invariants |
42 | Sebastian G. Elbaum, David Gable, Gregg Rothermel |
The Impact of Software Evolution on Code Coverage Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001, pp. 170-179, 2001, IEEE Computer Society, 0-7695-1189-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | Peter Folkesson, Johan Karlsson |
Considering Workload Input Variations in Error Coverage Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-3, Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings, pp. 171-190, 1999, Springer, 3-540-66483-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
42 | Pradip A. Thaker, Vishwani D. Agrawal, Mona E. Zaghloul |
Validation Vector Grade (VVG): A New Coverage Metric for Validation and Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 17th IEEE VLSI Test Symposium (VTS '99), 25-30 April 1999, San Diego, CA, USA, pp. 182-188, 1999, IEEE Computer Society, 0-7695-0146-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
42 | Man Fai Lau, Yuen-Tak Yu |
On Comparing Testing Criteria for Logical Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings, pp. 44-58, 2009, Springer, 978-3-642-01923-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
condition coverage, condition/decision coverage, control flow criteria, decision coverage, modified condition/ decision coverage (MC/DC), software testing, Boolean expression |
42 | Paul Balister, Béla Bollobás, Amites Sarkar, Santosh Kumar 0001 |
Reliable density estimates for coverage and connectivity in thin strips of finite length. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCom ![In: Proceedings of the 13th Annual International Conference on Mobile Computing and Networking, MOBICOM 2007, Montréal, Québec, Canada, September 9-14, 2007, pp. 75-86, 2007, ACM, 978-1-59593-681-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, connectivity, coverage, network topology, deployment, critical, random geometric graphs, barrier coverage |
42 | Joakim Aidemark, Peter Folkesson, Johan Karlsson |
Path-Based Error Coverage Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 18(3), pp. 343-349, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
analytical coverage estimation, fault injection, error detection coverage |
42 | Martina Marré, Antonia Bertolino |
Reducing and Estimating the Cost of Test Coverage Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 486-494, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
generalised algorithm, minimum entity set, program flowgraph entities, spanning set, test coverage criteria cost estimation, test coverage criteria cost reduction, test paths, program testing, software cost estimation, flowcharting |
42 | Peter C. Maxwell |
The use of IDDQ testing in low stuck-at coverage situations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 13th IEEE VLSI Test Symposium (VTS'95), April 30 - May 3, 1995, Princeton, New Jersey, USA, pp. 84-88, 1995, IEEE Computer Society, 0-8186-7000-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
stuck-at coverage situations, quality goal, graded coverage, composite metric, fault diagnosis, logic testing, logic tests, integrated circuit testing, automatic testing, application specific integrated circuits, ASIC, CMOS logic circuits, IDDQ testing, IC testing |
42 | Takaji Fujiwara, Joong-Yang Park, Jae-Heung Park |
Evaluation and Application of MVFs in Coverage for Coverage-Based NHPP SRGM Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea, pp. 385-392, 2007, IEEE Computer Society, 0-7695-2867-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Xiao Sun 0002, Carmie Hull |
Functional Verification Coverage vs. Physical Stuck-at Fault Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 13th International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT '98), 2-4 November 1998, Austin, TX, USA, Proceedings, pp. 108-116, 1998, IEEE Computer Society, 0-8186-8832-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
functional property, stuck-at fault coverage, verification coverage, UIO, verification, validation, ATPG, FSM, signature analysis, test application time |
41 | Tai-Yi Huang, Pin-Chuan Chou, Cheng-Han Tsai, Hsin-An Chen |
Automated fault localization with statistically suspicious program states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California, USA, June 13-15, 2007, pp. 11-20, 2007, ACM, 978-1-59593-632-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fault localization, automated debugging, state coverage |
40 | Aynur Abdurazik, Paul Ammann, Wei Ding 0003, A. Jefferson Offutt |
Evaluation of Three Specification-Based Testing Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 179-187, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
PROBSUBSUMES measure, specification-mutation coverage, full predicate coverage, transition-pair coverage, program testing, specification-based testing, testing criteria, model checker |
40 | Dongsong Ban, Jie Jiang 0009, Wei Yang 0037, Wenhua Dou, Huizhan Yi |
Strong k-barrier coverage with mobile sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 68-72, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
mobile sensor, relocation, barrier coverage |
40 | Hsiuying Wang |
Exact average coverage probabilities and confidence coefficients of confidence intervals for discrete distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 19(2), pp. 139-148, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Confidence coefficient, Coverage probability, Confidence interval, Discrete distribution |
40 | Habib M. Ammari |
Stochastic k-Coverage in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WASA ![In: Wireless Algorithms, Systems, and Applications, 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings, pp. 125-134, 2009, Springer, 978-3-642-03416-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Stochastic coverage, Scheduling, Wireless sensor networks |
40 | Guoliang Xing, Rui Tan 0001, Benyuan Liu, Jianping Wang 0001, Xiaohua Jia, Chih-Wei Yi |
Data fusion improves the coverage of wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCom ![In: Proceedings of the 15th Annual International Conference on Mobile Computing and Networking, MOBICOM 2009, Beijing, China, September 20-25, 2009, pp. 157-168, 2009, ACM, 978-1-60558-702-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
performance limits, wireless sensor network, coverage, data fusion, target detection |
40 | Akbar Siami Namin, James H. Andrews |
The influence of size and coverage on test suite effectiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009, pp. 57-68, 2009, ACM, 978-1-60558-338-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
statistical analysis, coverage criteria |
40 | B. Paramasivan, Mohaideen Pitchai, D. Usha, Radha Krishnan |
Coverage preserved optimal routing protocol for improving the quality of service in wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human (ICIS 2009), Seoul, Korea, 24-26 November 2009, pp. 1427-1431, 2009, ACM, 978-1-60558-710-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
quality of service, energy efficiency, coverage, lifetime, multi-path routing, cluster-head, self-scheduling |
40 | Ronaldo Menezes, Harry Bullen |
A study of terrain coverage models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1964-1968, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
terrain coverage, autonomous agents |
40 | Yongan Wu, Min Li, Zhiping Cai, En Zhu |
A Distributed Algorithm to Approximate Node-Weighted Minimum alpha-Connected (Theta, k)-Coverage in Dense Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings, pp. 221-232, 2008, Springer, 978-3-540-69310-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
(?and k)-coverage, ?-connectivity, dense sensor networks, probabilistic model |
40 | Hongxing Bai, Xi Chen 0036, Bin Li, Dianfei Han |
A Location-free Algorithm of Energy-Efficient Connected Coverage for High Density Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 17(1), pp. 1-21, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Static wireless sensor networks, Location-free algorithm, Connectivity, Coverage |
40 | S. Sundhar Ram, D. Manjunath, Srikanth K. Iyer, D. Yogeshwaran |
On the Path Coverage Properties of Random Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 6(5), pp. 494-506, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Sensor networks coverage, exposure, path tracking, Boolean models |
40 | Chi-Fu Huang, Yu-Chee Tseng, Hsiao-Lu Wu |
Distributed protocols for ensuring both coverage and connectivity of a wireless sensor network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Sens. Networks ![In: ACM Trans. Sens. Networks 3(1), pp. 5, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
sensor network, Ad hoc network, wireless network, connectivity, coverage, power control, energy conservation |
40 | Huanzhao Wang, Bei Dong, Peijun Chen, Qian Chen, Junjun Kong |
LATEX DSL: A Coverage Control Protocol for heterogeneous Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSNC ![In: Proceedings of the Second International Conference on Systems and Networks Communications (ICSNC 2007), August 25-31, 2007, Cap Esterel, French Riviera, France, pp. 2, 2007, IEEE Computer Society, 0-7695-2938-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
coverage degree, wireless sensor networks, topology control, node scheduling |
40 | Hana Chockler, Orna Kupferman, Moshe Y. Vardi |
Coverage metrics for formal verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(4-5), pp. 373-386, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Algorithms, Model checking, Formal verification, Coverage metrics |
40 | Sezer Gören 0001, F. Joel Ferguson |
Test sequence generation for controller verification and test with high coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 11(4), pp. 916-938, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
finite state machine, Fault coverage, black box testing, X-machine |
Displaying result #1 - #100 of 18073 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|