Search results for "F-testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
63	Walter J. Gutjahr	Partition Testing vs. Random Testing: The Influence of Uncertainty.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	software testing, fault detection, program testing, random testing, partition testing, Decisions under uncertainty
60	Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer 0001	Object distance and its application to adaptive random testing of object-oriented programs.	Random Testing	2006	DBLP DOI BibTeX RDF	distanced-based testing, object distance, random testing, adaptive random testing
55	Tsong Yueh Chen, Fei-Ching Kuo	Is adaptive random testing really better than random testing.	Random Testing	2006	DBLP DOI BibTeX RDF	fix-sized-candidate-set ART, software testing, random testing, adaptive random testing
53	In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon	Applying Conventional Testing Techniques for Class Testing.	COMPSAC	1996	DBLP DOI BibTeX RDF	program testing techniques, class member function testing, code-based testing, formal specification, object-oriented programming, object oriented programming, finite state machines, finite state machines, program testing, symbolic execution, programming theory, specification-based testing, class testing, branch coverage
52	David Owen 0002, Dejan Desovski, Bojan Cukic	Random testing of formal software models and induced coverage.	Random Testing	2006	DBLP DOI BibTeX RDF	formal methods, random testing, model testing
52	T. Y. Chen	Adaptive Random Testing.	QSIC	2008	DBLP DOI BibTeX RDF
52	Jan Tretmans	Model Based Testing with Labelled Transition Systems.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
51	Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli	Testing embedded real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product
50	Tsong Yueh Chen, Yuen-Tak Yu	On the Expected Number of Failures Detected by Subdomain Testing and Random Testing.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	subdomain testing, software testing, random testing, Partition testing
50	James H. Andrews, Susmita Haldar, Yong Lei, Felix Chun Hang Li	Tool support for randomized unit testing.	Random Testing	2006	DBLP DOI BibTeX RDF	randomized testing, unit testing
48	Jaume A. Segura 0001, Miquel Roca 0001, Diego Mateo, Antonio Rubio 0001	An approach to dynamic power consumption current testing of CMOS ICs.	VTS	1995	DBLP DOI BibTeX RDF	dynamic power consumption current testing, logic behavior, parametric defect, quiescent power supply current testing, consumption current testing time, on-chip sensor, static power consumption, fault diagnosis, logic testing, integrated circuit testing, automatic testing, adders, CMOS logic circuits, I/sub DDQ/ testing, CMOS ICs, full adders, open defects, electric current measurement, bridging defects, transient current
48	Koushik Sen	Concolic testing.	ASE	2007	DBLP DOI BibTeX RDF	data structure testing, explicit path model-checking, random testing, unit testing, symbolic execution, testing tools, testing C programs, concolic testing
48	Natalia Juristo Juzgado, Ana María Moreno 0001, Wolfgang Strigel	Guest Editors' Introduction: Software Testing Practices in Industry.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	SQA, V&V, agile software testing, parameterized unit testing, testing practice, software testing, unit testing, symbolic execution, scripting language, test coverage, testing tools, test automation, test design, test design
48	Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa	A Demand-Driven Analyzer for Data Flow Testing at the Integration Level.	ICSE	1996	DBLP BibTeX RDF	definition-use pairs, demand-driven analyzer, exhaustive analyzer, incremental analyzer, incremental data-flow updates, large program testing, program procedure interfaces, test case requirements, performance, static analysis, program testing, data flow analysis, unit testing, overhead, integration testing, data flow testing
48	Brian Mitchell, Steven J. Zeil	A Reliability Model Combining Representative and Directed Testing.	ICSE	1996	DBLP BibTeX RDF	fault revelation, interfailure time, post-mortem debugged fault analysis, reliability estimate updating, representative testing, software quality, software reliability, fault detection, program testing, statistics, program debugging, functional testing, program diagnostics, structural testing, random processes, order statistics, reliability model, quantification, random variable, failure rates, directed testing
48	Naina Mittal, Ira Acharya	An Open Framework for Managed Regression Testing.	TestCom	2003	DBLP DOI BibTeX RDF	managed testing, networking equipment, test bench, hierarchical test case management, test plan tree, framework deployment, test-cycle reduction, testing tool collaboration, regression testing, black-box testing, Test automation, test framework, test planning, test execution, test scripts
48	Simeon C. Ntafos	On Comparisons of Random, Partition, and Proportional Partition Testing.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	proportional partition testing, Program testing, random testing, partition testing
48	Khalil Abdullah, James E. Kimble Jr., Lee J. White	Correcting for unreliable regression integration testing.	ICSM	1995	DBLP DOI BibTeX RDF	unreliable regression integration testing, firewall concept, error cases, firewall construction, software maintenance, statistical analysis, program testing, unit testing, control flow, integration testing
48	Rajiv Gupta 0001, Mary Lou Soffa	Priority based data flow testing.	ICSM	1995	DBLP DOI BibTeX RDF	priority based data flow testing, def-use pairs, program change, software testing, software maintenance, software maintenance, software development, statistical analysis, program testing, regression testing, data flow analysis, error, test case generation, program diagnostics
48	Nikolai Tillmann, Jonathan de Halleux, Tao Xie 0001	Parameterized unit testing: theory and practice.	ICSE (2)	2010	DBLP DOI BibTeX RDF	Pex, parameterized unit testing, testing, theories, unit testing, symbolic execution, mock objects
48	Simi (Kamini) Bajaj, Shyamala Balram	Incorporating Software Testing as a Discipline in Curriculum of Computing Courses.	UNISCON	2009	DBLP DOI BibTeX RDF	Software testing education, testing training, Software Testing, Test management
48	Shirley Halevy, Eyal Kushilevitz	Distribution-Free Connectivity Testing for Sparse Graphs.	Algorithmica	2008	DBLP DOI BibTeX RDF	Distribution-free testing, Connectivity testing, Properties of sparse graphs, Property testing
48	Marcelo Fantinato, Mário Jino	Applying Extended Finite State Machines in Software Testing of Interactive Systems.	DSV-IS	2003	DBLP DOI BibTeX RDF	Finite State Machines, Model Based Testing, Functional Testing, Testing Criteria
47	Lei Xu 0003, Baowen Xu	A Framework for Web Applications Testing.	CW	2004	DBLP DOI BibTeX RDF	Web Testing Process, Web Application, Process Modeling, Testing Framework
47	Katherine E. Thompson, Evelyn P. Rozanski, Anne R. Haake	Here, there, anywhere: remote usability testing that works.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	human-computer interaction, usability testing, remote usability testing
47	Xia Cai, Michael R. Lyu	The effect of code coverage on fault detection under different testing profiles.	A-MOST	2005	DBLP DOI BibTeX RDF	software testing, fault detection, code coverage
47	Johannes Mayer	Adaptive random testing with randomly translated failure region.	Random Testing	2006	DBLP DOI BibTeX RDF	failure region, random testing, adaptive random testing, test case selection
45	Jeremy Gardiner	Delayed Failures in Software Using High Volume Automated Testing.	TAIC PART	2006	DBLP DOI BibTeX RDF	delayed failures, high volume, HVAT, testing techniques, software testing, automated testing, database testing
45	Lei Xu 0003, Baowen Xu, Jixiang Jiang	Testing web applications focusing on their specialties.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	Web Application, Usability Testing, Regression Testing, Performance Testing, Testing Model
45	Simeon C. Ntafos	On Random and Partition Testing.	ISSTA	1998	DBLP DOI BibTeX RDF	program testing, random testing, partition testing
45	Kuo-Chung Tai	Theory of Fault-Based Predicate Testing for Computer Programs.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	predicate testing, boolean operator faults, relational operator faults, off-by-$epsilon$ faults, Software testing, fault-based testing
45	Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno	Elimination of Crucial Faults by a New Selective Testing Method.	ISESE	2002	DBLP DOI BibTeX RDF	Selective testing, functional testing, test case prioritization
45	Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand	Formal analysis of the effectiveness and predictability of random testing.	ISSTA	2010	DBLP DOI BibTeX RDF	coupon collector, schur function, predictability, theory, random testing
45	Dick Hamlet	When only random testing will do.	Random Testing	2006	DBLP DOI BibTeX RDF	random vs. systematic testing, testing theory
45	Mark Simpson	How usability testing can aid the development of online documentation.	SIGDOC	1990	DBLP DOI BibTeX RDF
44	Debra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil	Integrating Testing Techniques Through Process Programming.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
43	Oum-El-Kheir Benkahla, Chouki Aktouf, Chantal Robach	Distributed off-line testing of parallel systems.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	distributed off-line testing, off-line testing, distributed self-diagnosis algorithms, adaptive testing assignment strategies, static testing assignment strategies, testing latency, message load, SELF3, HOST BSCT, HOST PATH, ADAPTIVE TREES, performance evaluation, parallel algorithms, fault diagnosis, adaptive systems, parallel systems, queueing network model, computer testing, automatic test software
43	Cheng-Wen Wu	On energy efficiency of VLSI testing.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	test efficiency models, CMOS power consumption model, high testability, high power dissipation, high-power testing, transition activity factor, fabricated chip, testing energy, VLSI, energy efficiency, fault coverage, design optimization, VLSI testing, testing time, test efficiency, testing power
43	Jerry Z. Gao 0002, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen	Object state testing for object-oriented programs.	COMPSAC	1995	DBLP DOI BibTeX RDF	object state testing, class objects, behavior testing, object state diagram, OO features, communicating state machine, object state hierarchy, complex class object, object state test strategy, object-oriented programming, object oriented programs, object-oriented programs, test generation, aggregation, program testing, inheritance, abstract data types, functional testing, structure testing, overloading, dynamic behavior, test criteria, OO programs
43	Phyllis G. Frankl, Elaine J. Weyuker	Provable Improvements on Branch Testing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software test data adequacy, independent random selection, condition-coverage techniques, software testing, program testing, programming theory, program debugging, mutation testing, test suite, data flow testing, fault-detecting ability, probabilistic measure, branch testing
43	Tsong Yueh Chen, Yuen-Tak Yu	On the Relationship Between Partition and Random Testing.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	subdomain size, performance, software testing, program testing, random testing, software performance evaluation, test cases, random processes, partition testing, worst case, fault-detecting ability
43	Wei-Tek Tsai, Xinyu Zhou, Raymond A. Paul, Yinong Chen, Xiaoying Bai	A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software.	HASE	2007	DBLP DOI BibTeX RDF	test case selection and ranking, web services, regression testing, statistical testing, group testing, Adaptive testing
43	Pallavi Joshi, Koushik Sen, Mark Shlimovich	Predictive testing: amplifying the effectiveness of software testing.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	assertion hoisting, predictive testing, random testing, symbolic execution, testing C programs
43	Ellen Francine Barbosa, José Carlos Maldonado, Richard J. LeBlanc, Mark Guzdial	Introducing Testing Practices into Objects and Design Course.	CSEE&T	2003	DBLP DOI BibTeX RDF	Software Testing Education, Equivalence Partitioning Testing Criterion, Object-Oriented Development Process, Functional Testing
43	Phyllis G. Frankl, Elaine J. Weyuker	An Applicable Family of Data Flow Testing Criteria.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	definition-use associations, software reliability, program testing, program testing, Pascal, data flow testing, ASSET, adequacy criteria
43	Matt Chu, Christian Murphy, Gail E. Kaiser	Distributed In Vivo Testing of Software Applications.	ICST	2008	DBLP DOI BibTeX RDF	perpetual testing, software testing
42	Xia Cai, Michael R. Lyu	The effect of code coverage on fault detection under different testing profiles.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	software testing, fault detection, code coverage
42	Anna Liu, Paddy Nixon	Distributed Systems Testing - Introduction.	HICSS	2000	DBLP DOI BibTeX RDF
42	Barton P. Miller, Gregory Cooksey, Fredrick Moore	An empirical study of the robustness of MacOS applications using random testing.	Random Testing	2006	DBLP DOI BibTeX RDF	random testing, fuzz
42	Sergiy A. Vilkomir, Jonathan P. Bowen	From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
42	Mary Jean Harrold, Mary Lou Soffa	Interprocedual Data Flow Testing.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
40	Haeng-Kon Kim, Oh-Hyun Kwon	SCTE: Software Component Testing Environments.	ICCSA (2)	2005	DBLP DOI BibTeX RDF	CBD design, CBD testing Environments, software testing, Component Based Developments, automated testing, CASE, class testing
40	Jianqiang Zhuo, Paul W. Oman, Ramkumar V. Pichai, Sujay Sahni	Using Relative Complexity To Allocate Resources In Gray-Box Testing Of Object-Oriented Code.	IEEE METRICS	1997	DBLP DOI BibTeX RDF	gray box testing, object oriented code, software testing costs, relative complexity metric, software quality assessments, industrial C++ software subsystem, rank order, minor test areas, relative test complexity, reliability, object-oriented programming, resource allocation, maintainability, black box, white box testing, testing engineers
40	Marat Boshernitsan, Roong-Ko Doong, Alberto Savoia	From daikon to agitator: lessons and challenges in building a commercial tool for developer testing.	ISSTA	2006	DBLP DOI BibTeX RDF	automated testing tools, developer testing, software agitation, unit testing, technology transfer, dynamic invariant detection, test-input generation
40	Achim D. Brucker, Burkhart Wolff	Interactive Testing with HOL-TestGen.	FATES	2005	DBLP DOI BibTeX RDF	symbolic test case generations, theorem proving, black box testing, white box testing, interactive testing
40	Antonia Bertolino	Software Testing Forever: Old and New Processes and Techniques for Validating Today's Applications.	PROFES	2008	DBLP DOI BibTeX RDF	Software testing research challenges, Testing and monitoring of dynamic systems, Testing for functional and non-functional properties
40	Johannes Mayer, Christoph Schneckenburger	An empirical analysis and comparison of random testing techniques.	ISESE	2006	DBLP DOI BibTeX RDF	p-measure, random testing, runtime, adaptive random testing, testing effectiveness, f-measure
40	Nektarios Kranitis, Antonis M. Paschalis, Dimitris Gizopoulos, George Xenoulis	Software-Based Self-Testing of Embedded Processors.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	processor self-testing, Embedded processors, software-based self-testing, low-cost testing
40	Ponrudee Netisopakul, Lee J. White, John Morris, Daniel Hoffman	Data Coverage Testing of Programs for Container Classes.	ISSRE	2002	DBLP DOI BibTeX RDF	Data coverage testing, Testing of container classes, Automated testing
40	Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer 0001	Experimental assessment of random testing for object-oriented software.	ISSTA	2007	DBLP DOI BibTeX RDF	software testing, random testing, experimental evaluation
40	Tatiana Sugeta, José Carlos Maldonado, W. Eric Wong	Mutation Testing Applied to Validate SDL Specifications.	TestCom	2004	DBLP DOI BibTeX RDF	SDL, Mutation Testing, Specification Testing
40	Hai Hu, W. Eric Wong, Chang-Hai Jiang, Kai-Yuan Cai	A Case Study of the Recursive Least Squares Estimation Approach to Adaptive Testing for Software Components.	QSIC	2005	DBLP DOI BibTeX RDF	controlled Markov chain, software testing, adaptive testing, software cybernetics
40	Shiyi Xu	High-Order Syndrome Testing for VLSI Circuits.	PRDC	2005	DBLP DOI BibTeX RDF	Syndrome Testing Minterms, Syndrome, Exhaustive Testing
40	Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini	Evaluating Testing Methods by Delivered Reliability.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	statistical testing theory, Reliability, software testing, debugging
40	Lee J. White	The evolution of an integrated testing environment by the Domain Testing Strategy.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
40	Jing Gao 0006, Yuqing Lan, Maozhong Jin	A Model of Third-Party Integration Testing Process for Foundation Software Platform.	ICYCS	2008	DBLP DOI BibTeX RDF
40	Arnaud Gotlieb, Matthieu Petit	Path-oriented random testing.	Random Testing	2006	DBLP DOI BibTeX RDF	random test data generation, random testing, constraint solving
40	Yogesh Singh, Anju Saha	A Metric-Based Approach to Assess Class Testability.	XP	2008	DBLP DOI BibTeX RDF
40	Kirill Bogdanov 0002	Testing from X-Machine Specifications.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
40	Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson	Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
40	Marie-Claude Gaudel, Pascale Le Gall	Testing Data Types Implementations from Algebraic Specifications.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
40	Debra J. Richardson, T. Owen O'Malley, C. Tittle	Approaches to Specification-Based Testing.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF	ANNA, Larch
38	Wishnu Prasetya, Tanja E. J. Vos, Arthur I. Baars	Trace-based Reflexive Testing of OO Programs with T2.	ICST	2008	DBLP DOI BibTeX RDF	trace based testing, sequence based testing, unit testing, automated testing
38	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
38	Jennitta Andrea	Generative Acceptance Testing for Difficult-to-Test Software.	XP	2004	DBLP DOI BibTeX RDF	domain specific testing language, test automation patterns, user acceptance testing, XML, code generation, Automated testing, testing strategy, XSL
38	Kwok Ping Chan, Tsong Yueh Chen, Fei-Ching Kuo, Dave Towey	A Revisit of Adaptive Random Testing by Restrictio.	COMPSAC	2004	DBLP DOI BibTeX RDF	Restricted Random Testing, Software Testing, Random Testing, Adaptive Random Testing, Mirroring
38	Tsong Yueh Chen, Yuen-Tak Yu	On Some Characterisation Problems of Subdomain Testing.	Ada-Europe	1996	DBLP DOI BibTeX RDF	testing of software systems, software engineering, software testing, Software quality, random testing, partition testing
38	Tsong Yueh Chen, Hing Leung, Yuen-Tak Yu	On the Analysis of Subdomain Testing Strategies.	APSEC	1995	DBLP DOI BibTeX RDF	subdomain testing, software testing, random testing, Partition testing
38	Markos Z. Tsoukalas, Joe W. Duran, Simeon C. Ntafos	On Some Reliability Estimation Problems in Random and Partition Testing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	effective testing strategy, test outcomes, Thayer-Lipow-Nelson reliability model, upper confidence bounds, cost weighted performance, software reliability, program testing, random testing, partition testing
38	Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel	On the Statistical Properties of the F-measure.	QSIC	2004	DBLP DOI BibTeX RDF	testing effectiveness metric, software testing, random testing, quality measurement, adaptive random testing, F-measure
38	Anders Bruun, Peter Gull, Lene Hofmeister, Jan Stage	Let your users do the testing: a comparison of three remote asynchronous usability testing methods.	CHI	2009	DBLP DOI BibTeX RDF	asynchronous testing, empirical study, usability testing, remote testing
38	Ugo A. Buy, Alessandro Orso, Mauro Pezzè	Automated Testing of Classes.	ISSTA	2000	DBLP DOI BibTeX RDF	testing and analysis, testing object-oriented software, data flow analysis, symbolic execution, class testing
38	Zhiliang Wang, Xia Yin, Chuanming Jing	A formal method to real-time protocol interoperability testing.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	real-time testing, timed input output automata (TIOA), test generation, interoperability testing, protocol testing
38	Salem Abdennadher, Saghir A. Shaikh	Practices in Mixed-Signal and RF IC Testing.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	I/O testing, SiP testing, wireless transceiver testing, DFT, built-in tests, ATE
38	Jennitta Andrea	Putting a Motor on the Canoo WebTest Acceptance Testing Framework.	XP	2004	DBLP DOI BibTeX RDF	Canoo WebTest, framework extension, test automation patterns, user acceptance testing, Automated testing, testing strategy
38	Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima	A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph.	APSEC	1996	DBLP DOI BibTeX RDF	Ada programming language, Event InterActions Graph(EIAG), nondeterministic execution, software testing, concurrent programs, test-cases, structural testing, testing criteria
38	Christian Murphy, Kuang Shen, Gail E. Kaiser	Automatic system testing of programs without test oracles.	ISSTA	2009	DBLP DOI BibTeX RDF	software testing, metamorphic testing, oracle problem
38	Xiao Qu, Myra B. Cohen, Gregg Rothermel	Configuration-aware regression testing: an empirical study of sampling and prioritization.	ISSTA	2008	DBLP DOI BibTeX RDF	regression testing, prioritization, combinatorial interaction testing, configurable software
37	Madan Musuvathi	Systematic concurrency testing using CHESS.	PADTAD	2008	DBLP DOI BibTeX RDF	testing, concurrency, race conditions
37	Leila Naslavsky, Hadar Ziv, Debra J. Richardson	Towards traceability of model-based testing artifacts.	A-MOST	2007	DBLP DOI BibTeX RDF	model-driven development, traceability, model-based testing
37	Phyllis G. Frankl, Yuetang Deng	Comparison of delivered reliability of branch, data flow and operational testing: A case study.	ISSTA	2000	DBLP DOI BibTeX RDF	software testing, software reliability
37	R. Krishnan, S. Murali Krishna, P. Siva Nandhan	Combinatorial testing: learnings from our experience.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	testcase generation, orthogonal arrays, combinatorial testing
37	Huo Yan Chen, T. H. Tse, Tsong Yueh Chen	TACCLE: a methodology for object-oriented software testing at the class and cluster levels.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	contact specifications, software testing, object-oriented programming, message passing, algebraic specifications
37	Gerald F. Gattis, Thomas J. Cheatham	Testing object-oriented software.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF
37	Mary Jean Harrold, Gregg Rothermel	Performing Data Flow Testing on Classes.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF
37		Part VI. Beyond Testing.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
37		Part II. Testing of Labeled Transition Systems.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
37	David S. Rosenblum, David C. Luckham	Testing the Correctness of Tasking Supervisors with TSL Specifications.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF	Ada
37	James M. Bieman, Janet L. Schultz	Estimating the Number of Test Cases Required to Satisfy the All-du-paths Testing Criterion.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
37	Derek F. Yates, Nicos Malevris	Reducing the Effects of Infeasible Paths in Branch Testing.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF