A Slice-Based Decision Procedure for Type-Based Partial Orders. - Elena Sherman; Brady J. Garvin; Matthew B. Dwyer (IJCAR, 2010)

Feature Interaction Faults Revisited: An Exploratory Study. - Brady J. Garvin; Myra B. Cohen (ISSRE, 2011)

Using feature locality: can we leverage history to avoid failures during reconfiguration? - Brady J. Garvin; Myra B. Cohen; Matthew B. Dwyer (ASAS@ESEC/FSE, 2011)

Evaluating improvements to a meta-heuristic search for constrained interaction testing. - Brady J. Garvin; Myra B. Cohen; Matthew B. Dwyer (Empir. Softw. Eng., 2011)

Failure Avoidance in Configurable Systems through Feature Locality. - Brady J. Garvin; Myra B. Cohen; Matthew B. Dwyer (Assurances for Self-Adaptive Systems, 2013)

Beyond the rainbow: self-adaptive failure avoidance in configurable systems. - Jacob Swanson; Myra B. Cohen; Matthew B. Dwyer; Brady J. Garvin; Justin W. Firestone (SIGSOFT FSE, 2014)

Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis. - Elena Sherman; Brady J. Garvin; Matthew B. Dwyer (ACM Trans. Softw. Eng. Methodol., 2015)