Search results for "mc/dc"

Found 7 publication records. Showing 7 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Javier Tuya, María José Suárez Cabal, Claudio de la Riva	Query-aware shrinking test databases.	DBTest	2009	DBLP DOI BibTeX RDF	SQL coverage, software testing, data reduction, test-suite reduction, database testing, MC/DC
1	Zeina Awedikian, Kamel Ayari, Giuliano Antoniol	MC/DC automatic test input data generation.	GECCO	2009	DBLP DOI BibTeX RDF	test input data generation, search based testing, mc/dc
1	Sergiy A. Vilkomir, Jonathan P. Bowen	From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Software testing criteria, RC/DC, Formal methods, Z notation, MC/DC
1	Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner	Coverage Metrics for Continuous Function Charts.	ISSRE	2004	DBLP DOI BibTeX RDF	mixed continuous-discrete and real-time systems, model-based testing, Integration testing, data flow testing, block diagrams, MC/DC
1	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
1	Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen	Tolerance of Control-Flow Testing Criteria.	COMPSAC	2003	DBLP DOI BibTeX RDF	RC/DC, software testing, effectiveness, empirical evaluation, tolerance, testing criteria, MC/DC
1	Sergiy A. Vilkomir, Jonathan P. Bowen	Formalization of Software Testing Criteria using the Z Notation.	COMPSAC	2001	DBLP DOI BibTeX RDF	coverage, Z notation, testing criteria, MC/DC

Displaying result #1 - #7 of 7 (100 per page; Change: )