Search results for "Testing-Coverage"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
38	Jerry Gao 0002, Raquel Espinoza, Jingsha He	Testing Coverage Analysis for Software Component Validation.	COMPSAC (1)	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.	ICSM	2002	DBLP DOI BibTeX RDF
33	Philippe Y. Massicotte, Linda Badri, Mourad Badri	Aspects-Classes Integration Testing Strategy: An Incremental Approach.	RISE	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.	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
27	J. Jenny Li	Prioritize Code for Testing to Improve Code Coverage of Complex Software.	ISSRE	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.	IEEE J. Sel. Areas Commun.	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.	ISSRE	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.	ISSTA	2006	DBLP DOI BibTeX RDF
23	Fabiano Cutigi Ferrari, José Carlos Maldonado, Awais Rashid	Mutation Testing for Aspect-Oriented Programs.	ICST	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.	CIT	2007	DBLP DOI BibTeX RDF
21	Lijun Lun, Hui Xu	Analysis of the Subsume Relation between Software Architecture Testing Criteria.	CSSE (2)	2008	DBLP DOI BibTeX RDF
21	Leila Naslavsky, Debra J. Richardson	Using traceability to support model-based regression testing.	ASE	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.	AFIPS National Computer Conference	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.	CASCON	1999	DBLP BibTeX RDF
19	Yuen-Tak Yu, Man Fai Lau	Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions.	QSIC	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.	SAFECOMP	2005	DBLP DOI BibTeX RDF
16	Pu Yunming, Wang Wei	A Balancing Model between Structural Testing and Functional Testing.	CSSE (2)	2008	DBLP DOI BibTeX RDF
15	Carlo Bellettini, Alessandro Marchetto 0001, Andrea Trentini	TestUml: user-metrics driven web applications testing.	SAC	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.	IEEE Trans. Software Eng.	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.	QUATIC	2007	DBLP DOI BibTeX RDF
14	Amie L. Souter, Lori L. Pollock	Putting Escape Analysis to Work for Software Testing.	ICSM	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.	Intell. Decis. Technol.	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.	Syst. Eng.	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.	Int. J. Syst. Assur. Eng. Manag.	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.	Int. J. Model. Identif. Control.	2023	DBLP DOI BibTeX RDF
12	Anu G. Aggarwal 0001, Sudeep Kumar, Ritu Gupta	Multi-release software reliability assessment: testing coverage-based approach.	Int. J. Math. Oper. Res.	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.	ICST	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.	Ann. Oper. Res.	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.	CoRR	2022	DBLP DOI BibTeX RDF
12	Kiran Jammalamadaka, Nikhat Parveen	Testing coverage criteria for optimized deep belief network with search and rescue.	J. Big Data	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.	Int. J. Math. Oper. Res.	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.	QRS	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.	J. Softw. Evol. Process.	2019	DBLP DOI BibTeX RDF
12	Frank Reyes Garcia, Beatriz Marín, Sofía Alarcón Bañados	Visualization of MBT testing coverage.	RCIS	2019	DBLP DOI BibTeX RDF
12	Ruilin Xie, Zhanqi Cui, Minghua Jia, Yuan Wen, Baoshui Hao	Testing Coverage Criteria for Deep Forests.	DSA	2019	DBLP DOI BibTeX RDF
12	Caroline Lemieux, Koushik Sen	FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage.	ASE	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.	ICSE (Companion Volume)	2018	DBLP DOI BibTeX RDF
12	Caroline Lemieux, Koushik Sen	FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage.	CoRR	2017	DBLP BibTeX RDF
12	Chengyong Mao, Qiuying Li	A Testing-Coverage Software Reliability Growth Model Considering the Randomness of the Field Environment.	QRS Companion	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.	MBMV	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.	ISSRE Workshops	2016	DBLP DOI BibTeX RDF
12	Azadeh Farzan, Andreas Holzer, Helmut Veith	Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution.	ICST	2015	DBLP DOI BibTeX RDF
12	Chao-Chun Yeh, Shih-Kun Huang	CovDroid: A Black-Box Testing Coverage System for Android.	COMPSAC Workshops	2015	DBLP DOI BibTeX RDF
12	Hoang Pham	Loglog fault-detection rate and testing coverage software reliability models subject to random environments.	Vietnam. J. Comput. Sci.	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.	APSEC (1)	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.	Inf. Process. Lett.	2013	DBLP DOI BibTeX RDF
12	Izzat Mahmoud Alsmadi	Using Mutation to Enhance GUI Testing Coverage.	IEEE Softw.	2013	DBLP DOI BibTeX RDF
12	Pachawan Augsornsri, Taratip Suwannasart	Design of a Tool for Checking Integration Testing Coverage of Object-Oriented Software.	ICISA	2013	DBLP DOI BibTeX RDF
12	Deeparnab Chakrabarty, Zhiyi Huang 0002	Testing Coverage Functions	CoRR	2012	DBLP BibTeX RDF
12	Deeparnab Chakrabarty, Zhiyi Huang 0002	Testing Coverage Functions.	ICALP (1)	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.	ICECS	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.	IEEE Trans. Software Eng.	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.	Software Engineering Research and Practice	2005	DBLP BibTeX RDF
12	Hoang Pham, Xuemei Zhang	NHPP software reliability and cost models with testing coverage.	Eur. J. Oper. Res.	2003	DBLP DOI BibTeX RDF
12	Angelo Gargantini, Elvinia Riccobene	ASM-Based Testing: Coverage Criteria and Automatic Test Sequence.	J. Univers. Comput. Sci.	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.	Asian Test Symposium	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.	Computer	1994	DBLP DOI BibTeX RDF
12	Mark Reston	Rapid prototyping and testing coverage based on decision tables.	RSP	1991	DBLP DOI BibTeX RDF
11	Lijun Lun, Hui Xu	An Approach to Software Architecture Testing.	ICYCS	2008	DBLP DOI BibTeX RDF
11	Corina S. Pasareanu, Willem Visser	Symbolic Execution and Model Checking for Testing.	Haifa Verification Conference	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.	EDOC	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.	ACM Trans. Softw. Eng. Methodol.	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.	SIGMETRICS	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.	DBTest	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.	IEEE Trans. Knowl. Data Eng.	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.	ACSC	2001	DBLP DOI BibTeX RDF