Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(4)
Paul Ammann
8
A. Jefferson Offutt (Jeff Offutt)
2
Upsorn Praphamontripong
2
Gregory Williams
1
Conferences
(2)
ICST
4
SERP
2
Journals
(2)
INFSOF
1
STVR
1
Keywords
(10)
Embed
Subscribe
Academic
Authors
Garrett Kent Kaminski
Garrett Kent Kaminski,George Mason University,Software Engineering
Edit
Garrett Kent Kaminski
George Mason University
Publications:
8
|
Citations:
16
Fields:
Software Engineering
View FAQ about top research areas and Fields of study
Collaborated with
4 co-authors
from 2008 to 2011
|
Cited by
23 authors
Cumulative
Annual
Sort by:
Publications
(8)
BibTeX
|
RIS
|
RefWorks
Download
A logic mutation approach to selective mutation for programs and queries
Garrett Kaminski
,
Upsorn Praphamontripong
,
Paul Ammann
,
Jeff Offutt
Journal:
Information & Software Technology - INFSOF
, vol. 53, no. 10, pp. 1137-1152, 2011
An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage
Garrett Kent Kaminski
,
Upsorn Praphamontripong
,
Paul Ammann
,
Jeff Offutt
Conference:
Software Engineering Research and Practice - SERP
, pp. 205-211, 2010
Applying MCDC to Large DNF Logic Expressions
Garrett Kent Kaminski
,
Paul Ammann
Conference:
Software Engineering Research and Practice - SERP
, pp. 411-417, 2010
Applications of Optimization to Logic Testing
Garrett Kaminski
,
Paul Ammann
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, 2010
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection
(
Citations: 6
)
Garrett Kent Kaminski
,
Paul Ammann
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, pp. 356-365, 2009
Sort by:
Citations
(16 times by 12 publications)
A Comparison of Tabular Expression-Based Testing Strategies
(
Citations: 1
)
Xin Feng
,
David Lorge Parnas
,
T. H. Tse
,
Tony O'Callaghan
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 5, pp. 616-634, 2011
An Analysis of OO Mutation Operators
Jingyu Hu
,
Nan Li
,
Jeff Offutt
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, 2011
Dealing with Constraints in Boolean Expression Testing
Angelo Gargantini
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, 2011
Regression testing minimization, selection and prioritization: a survey
(
Citations: 19
)
Shin Yoo
Journal:
Software Testing, Verification & Reliability - STVR
, 2010
Generating Minimal Fault Detecting Test Suites for Boolean Expressions
(
Citations: 1
)
Gordon Fraser
,
Angelo Gargantini
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, 2010
Comments