|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 48 occurrences of 44 keywords
|
|
|
Results
Found 66 publication records. Showing 66 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
38 | 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 |
36 | Jin-Cherng Lin, Ling-Hsuan Huang |
A Table Reduction Approach for Software Structure Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada, pp. 414-421, 2002, IEEE Computer Society, 0-7695-1819-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Philippe Y. Massicotte, Linda Badri, Mourad Badri |
Aspects-Classes Integration Testing Strategy: An Incremental Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISE ![In: Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers, pp. 158-173, 2005, Springer, 3-540-34063-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
AOST, Verification, Interactions, Generation, Sequences, Aspects, Classes, Testing Coverage, Criteria |
27 | Shinji Inoue, Shigeru Yamada |
Two-Dimensional Software Reliability Assessment with Testing-Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Second International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, July 14-17, 2008, Yokohama, Japan, pp. 150-157, 2008, IEEE Computer Society, 978-0-7695-3266-0. The full citation details ...](Pics/full.jpeg) |
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 |
27 | 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 |
27 | Ehab Al-Shaer, Adel El-Atawy, Taghrid Samak |
Automated pseudo-live testing of firewall configuration enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 27(3), pp. 302-314, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Cai |
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA, pp. 119-132, 2003, IEEE Computer Society, 0-7695-2007-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
data flow coverage testing, empirical study, software fault tolerance, mutation testing |
26 | Willem Visser, Corina S. Pasareanu, Radek Pelánek |
Test input generation for java containers using state matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006, pp. 37-48, 2006, ACM, 1-59593-263-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Fabiano Cutigi Ferrari, José Carlos Maldonado, Awais Rashid |
Mutation Testing for Aspect-Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 52-61, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Aspect-Oriented testing, AO fault types, Mutation testing, mutation operators |
22 | Andreas S. Andreou, Kypros A. Economides, Anastasis A. Sofokleous |
An Automatic Software Test-Data Generation Scheme Based on Data Flow Criteria and Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Seventh International Conference on Computer and Information Technology (CIT 2007), October 16-19, 2007, University of Aizu, Fukushima, Japan, pp. 867-872, 2007, IEEE Computer Society, 978-0-7695-2983-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Lijun Lun, Hui Xu |
Analysis of the Subsume Relation between Software Architecture Testing Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 698-701, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Leila Naslavsky, Debra J. Richardson |
Using traceability to support model-based regression testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 567-570, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
model-driven development, traceability, model-based testing |
21 | Takeshi Chusho, Atsushi Tanaka, Eri Okamoto, Akinori Honda, Toru Kurosaki |
HITS: a symbolic testing and debugging system for multilingual microcomputer software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1983 National Computer Conference, 16-19 May 1983, Anaheim, California, USA, pp. 73-80, 1983, AFIPS Press, 0-88283-039-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
20 | Ettore Merlo, Giuliano Antoniol |
A static measure of a subset of intra-procedural data flow testing coverage based on node coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, November 8-11, 1999, Mississauga, Ontario, Canada, pp. 7, 1999, IBM. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
19 | 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 |
19 | Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha |
Control and Data Flow Testing on Function Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, pp. 67-80, 2005, Springer, 3-540-29200-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Pu Yunming, Wang Wei |
A Balancing Model between Structural Testing and Functional Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 716-718, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Carlo Bellettini, Alessandro Marchetto 0001, Andrea Trentini |
TestUml: user-metrics driven web applications testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1694-1698, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
application design model, stop testing, UML, testing, reverse engineering, metrics, testing coverage, white-box testing |
15 | Amie L. Souter, Lori L. Pollock |
The Construction of Contextual Def-Use Associations for Object-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(11), pp. 1005-1018, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
D.3.2.p Object-oriented languages, D.2.5.m Testing coverage of code, object flow analysis |
14 | Mario Luca Bernardi, Giuseppe A. Di Lucca |
Testing Aspect Oriented Programs: an Approach Based on the Coverage of the Interactions among Advices and Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QUATIC ![In: Quality of Information and Communications Technology, 6th International Conference on the Quality of Information and Communications Technology, QUATIC 2007, Lisbon, Portugal, September 12-14, 2007, Proceedings, pp. 65-76, 2007, IEEE Computer Society, 0-7695-2948-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Amie L. Souter, Lori L. Pollock |
Putting Escape Analysis to Work for Software Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada, pp. 430-, 2002, IEEE Computer Society, 0-7695-1819-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Ritu Bibyan, Sameer Anand, Anu Gputa Aggarwal 0001, Gurjeet Kaur |
Testing coverage-based software modeling incorporating random effect with change point and its release. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. Decis. Technol. ![In: Intell. Decis. Technol. 17(3), pp. 839-851, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Vishal Pradhan, Joydip Dhar, Ajay Kumar 0002 |
Testing coverage-based software reliability growth model considering uncertainty of operating environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Eng. ![In: Syst. Eng. 26(4), pp. 449-462, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ritu Bibyan, Sameer Anand, Anu G. Aggarwal 0001, Abhishek Tandon |
Multi-release testing coverage-based SRGM considering error generation and change-point incorporating the random effect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Assur. Eng. Manag. ![In: Int. J. Syst. Assur. Eng. Manag. 14(5), pp. 1877-1887, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ritu Bibyan, Sameer Anand, Ajay Jaiswal, Anu G. Aggarwal 0001 |
Software reliability testing coverage model using feed-forward back propagation neural network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Model. Identif. Control. ![In: Int. J. Model. Identif. Control. 43(2), pp. 126-133, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Anu G. Aggarwal 0001, Sudeep Kumar, Ritu Gupta |
Multi-release software reliability assessment: testing coverage-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Oper. Res. ![In: Int. J. Math. Oper. Res. 24(4), pp. 583-594, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Joshua Bundt, Andrew Fasano, Brendan Dolan-Gavitt, William K. Robertson, Tim Leek |
Homo in Machina: Improving Fuzz Testing Coverage via Compartment Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: IEEE Conference on Software Testing, Verification and Validation, ICST 2023, Dublin, Ireland, April 16-20, 2023, pp. 117-128, 2023, IEEE, 978-1-6654-5666-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Subhashis Chatterjee, Deepjyoti Saha, Akhilesh Sharma, Yogesh Verma |
Reliability and optimal release time analysis for multi up-gradation software with imperfect debugging and varied testing coverage under the effect of random field environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 312(1), pp. 65-85, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Joshua Bundt, Andrew Fasano, Brendan Dolan-Gavitt, William K. Robertson, Tim Leek |
Homo in Machina: Improving Fuzz Testing Coverage via Compartment Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.11162, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Kiran Jammalamadaka, Nikhat Parveen |
Testing coverage criteria for optimized deep belief network with search and rescue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Big Data ![In: J. Big Data 8(1), pp. 1-20, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Sulekha Rani, Priyanka Agarwal, Madhu Jain, Rahul Solanki |
A software reliability growth model considering testing coverage subject to field environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Oper. Res. ![In: Int. J. Math. Oper. Res. 18(2), pp. 145-153, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Songyan Ji, Jian Dong, Junfu Qiu, Bowen Gu, Ye Wang, Tongqi Wang |
Increasing Fuzz Testing Coverage for Smart Contracts with Dynamic Taint Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021, Hainan, China, December 6-10, 2021, pp. 243-247, 2021, IEEE, 978-1-6654-5813-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Subhashis Chatterjee, Ankur Shukla |
A unified approach of testing coverage-based software reliability growth modelling with fault detection probability, imperfect debugging, and change point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Evol. Process. ![In: J. Softw. Evol. Process. 31(3), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Frank Reyes Garcia, Beatriz Marín, Sofía Alarcón Bañados |
Visualization of MBT testing coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCIS ![In: 13th International Conference on Research Challenges in Information Science, RCIS 2019, Brussels, Belgium, May 29-31, 2019, pp. 1-2, 2019, IEEE, 978-1-7281-4844-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Ruilin Xie, Zhanqi Cui, Minghua Jia, Yuan Wen, Baoshui Hao |
Testing Coverage Criteria for Deep Forests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSA ![In: 6th International Conference on Dependable Systems and Their Applications, DSA 2019, Harbin, China, January 3-6, 2020, pp. 513-514, 2019, IEEE, 978-1-7281-6057-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Caroline Lemieux, Koushik Sen |
FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, pp. 475-485, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Mingzhe Wang, Jie Liang 0006, Yuanliang Chen, Yu Jiang 0001, Xun Jiao, Han Liu 0010, Xibin Zhao, Jiaguang Sun 0001 |
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 61-64, 2018, ACM, 978-1-4503-5663-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Caroline Lemieux, Koushik Sen |
FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.07101, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
12 | Chengyong Mao, Qiuying Li |
A Testing-Coverage Software Reliability Growth Model Considering the Randomness of the Field Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Companion, Vienna, Austria, August 1-3, 2016, pp. 402-403, 2016, IEEE, 978-1-5090-3713-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Tino Teige, Tom Bienmüller, Hans Jürgen Holberg |
Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016., pp. 6-9, 2016, Albert-Ludwigs-Universität Freiburg, 978-3-00-052380-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Qiuying Li, Chengyong Mao |
Considering Testing-Coverage and Fault Removal Efficiency Subject to the Random Field Environments with Imperfect Debugging in Software Reliability Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2016, Ottawa, ON, Canada, October 23-27, 2016, pp. 257-263, 2016, IEEE Computer Society, 978-1-5090-3601-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Azadeh Farzan, Andreas Holzer, Helmut Veith |
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015, pp. 1-11, 2015, IEEE Computer Society, 978-1-4799-7125-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Chao-Chun Yeh, Shih-Kun Huang |
CovDroid: A Black-Box Testing Coverage System for Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC Workshops ![In: 39th Annual Computer Software and Applications Conference, COMPSAC Workshops 2015, Taichung, Taiwan, July 1-5, 2015, pp. 447-452, 2015, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Hoang Pham |
Loglog fault-detection rate and testing coverage software reliability models subject to random environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vietnam. J. Comput. Sci. ![In: Vietnam. J. Comput. Sci. 1(1), pp. 39-45, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Tingliang Zhou, Haiying Sun, Jing Liu 0012, Xiaohong Chen 0007, Dehui Du |
Improving Testing Coverage for Safety-Critical System by Mutated Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC (1) ![In: 21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers, pp. 43-46, 2014, IEEE Computer Society, 978-1-4799-7425-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Marcos Lordello Chaim, Roberto Paulo Andrioli de Araujo |
An efficient bitwise algorithm for intra-procedural data-flow testing coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 113(8), pp. 293-300, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Izzat Mahmoud Alsmadi |
Using Mutation to Enhance GUI Testing Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 30(1), pp. 67-73, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Pachawan Augsornsri, Taratip Suwannasart |
Design of a Tool for Checking Integration Testing Coverage of Object-Oriented Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISA ![In: International Conference on Information Science and Applications, ICISA 2013, Hilton Pattaya Hotel, Pattaya, Thailand, June 24-26, 2013, pp. 1-4, 2013, IEEE, 978-1-4799-0602-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Deeparnab Chakrabarty, Zhiyi Huang 0002 |
Testing Coverage Functions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1205.1587, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
12 | Deeparnab Chakrabarty, Zhiyi Huang 0002 |
Testing Coverage Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I, pp. 170-181, 2012, Springer, 978-3-642-31593-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Zichu Qi, Hui Liu, Xiangku Li, Jun Xu, Weiwu Hu |
A case study of improving at-speed testing coverage of a gigahertz microprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 16th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2009, Yasmine Hammamet, Tunisia, 13-19 December, 2009, pp. 651-654, 2009, IEEE, 978-1-4244-5090-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | James H. Andrews, Lionel C. Briand, Yvan Labiche, Akbar Siami Namin |
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(8), pp. 608-624, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
test coverage of code, experimental design, testing strategies, Testing and debugging |
12 | Ali Y. Duale, Theodore J. Bohizic, Dennis W. Wittig |
Pseudo-Random System Testing: Coverage Estimation and Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice, SERP 2005, Las Vegas, Nevada, USA, June 27-29, 2005, Volume 1, pp. 283-289, 2005, CSREA Press, 1-932415-49-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
12 | Hoang Pham, Xuemei Zhang |
NHPP software reliability and cost models with testing coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 145(2), pp. 443-454, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Angelo Gargantini, Elvinia Riccobene |
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 7(11), pp. 1050-1067, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Cheer-Sun D. Yang, Lori L. Pollock |
An Algorithm for All-du-path Testing Coverage of Shared Memory Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 6th Asian Test Symposium (ATS '97), 17-18 November 1997, Akita, Japan, pp. 263-268, 1997, IEEE Computer Society, 0-8186-8209-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
structural software testing, all-du-path coverage, shared memory parallel programming |
12 | Joseph Robert Horgan, Saul London, Michael R. Lyu |
Achieving Software Quality with Testing Coverage Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 27(9), pp. 60-69, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Mark Reston |
Rapid prototyping and testing coverage based on decision tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSP ![In: Proceedings of the Second International Workshop on Rapid System Prototyping, RSP 1991, Research Triangle Park, North Carolina, USA, June 11-13, 1991, pp. 112-145, 1991, IEEE Computer Society, 0-8186-3040-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Lijun Lun, Hui Xu |
An Approach to Software Architecture Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1070-1075, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Corina S. Pasareanu, Willem Visser |
Symbolic Execution and Model Checking for Testing. ![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. 17-18, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Wen-Li Dong, Hang Yu, Yu-Bing Zhang |
Testing BPEL-based Web Service Composition Using High-level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China, pp. 441-444, 2006, IEEE Computer Society, 0-7695-2558-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Huo Yan Chen, T. H. Tse, F. T. Chan, Tsong Yueh Chen |
In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 7(3), pp. 250-295, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
software-testing methodologies, object-oriented programming, abstract data types, algebraic specification, observational equivalence |
10 | Eno Thereska, Björn Döbel, Alice X. Zheng, Peter Nobel |
Practical performance models for complex, popular applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: SIGMETRICS 2010, Proceedings of the 2010 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, New York, New York, USA, 14-18 June 2010, pp. 1-12, 2010, ACM, 978-1-4503-0038-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
IT administrators, performance variance, what-if, developers |
6 | Andriy V. Miranskyy, Enzo Cialini, David Godwin |
Selection of customers for operational and usage profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBTest ![In: Proceedings of the 2nd International Workshop on Testing Database Systems, DBTest 2009, Providence, Rhode Island, USA, June 29, 2009, 2009, ACM, 978-1-60558-706-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
customer usage, data mining, optimization, customers, operational profile |
6 | Nicolas Bruno, Surajit Chaudhuri, Dilys Thomas |
Generating Queries with Cardinality Constraints for DBMS Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 18(12), pp. 1721-1725, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Query generation, database testing, cardinality constraints |
6 | Chris Hunter, Paul A. Strooper |
Systematically Deriving Partial Oracles for Testing Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: 24th Australasian Computer Science Conference (ACSC 2001), 29 January - 1 February 2001, Gold Coast, Queensland, Australia, pp. 83-91, 2001, IEEE Computer Society, 0-7695-0963-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #66 of 66 (100 per page; Change: )
|
|