Brady Garvin Contact Research AreasHighly configurable systemsFeature-interaction faultsSoftware testing and analysisComputational complexity