Brady J. Garvin

According to our database, Brady J. Garvin authored at least 7 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis.

Elena Sherman, Brady J. Garvin, Matthew B. Dwyer

ACM Trans. Softw. Eng. Methodol., 2015

2014

Beyond the rainbow: self-adaptive failure avoidance in configurable systems.

Jacob Swanson, Myra B. Cohen, Matthew B. Dwyer, Brady J. Garvin, Justin W. Firestone

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2013

Failure Avoidance in Configurable Systems through Feature Locality.

Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer

Proceedings of the Assurances for Self-Adaptive Systems, 2013

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

Using feature locality: can we leverage history to avoid failures during reconfiguration?

Brady J. Garvin, Myra B. Cohen, Matthew B. Dwyer

Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, 2011

Feature Interaction Faults Revisited: An Exploratory Study.

Brady J. Garvin, Myra B. Cohen

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

2010

A Slice-Based Decision Procedure for Type-Based Partial Orders.

Elena Sherman, Brady J. Garvin, Matthew B. Dwyer

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010