Travelled to:1 × USA
Collaborated with:P.Ammann
Talks about:logic (2) fault (2) test (2) use (2) hierarchi (1) criterion (1) guarante (1) feasibl (1) improv (1) effici (1)
Person: Garrett Kent Kaminski
DBLP: Kaminski:Garrett_Kent
Contributed to:
2009Wrote 2 papers:
- ICST-2009-KaminskiA #detection #fault #logic #testing #using
- Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection (GKK, PA), pp. 356–365.
- ICST-2009-KaminskiA09a #fault #logic #mutation testing #performance #testing #using
- Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing (GKK, PA), pp. 386–395.