Extracting configuration parameter interactions using static analysis. - Chelsea A. Metcalf; Farhaan Fowze; Tuba Yavuz; José A. B. Fortes (ICPC, 2016)

Heuristics for Selecting Predicates for Partial Predicate Abstraction. - Tuba Yavuz; Chelsea A. Metcalf (CoRR, 2018)

Detecting potential deadlocks through change impact analysis. - Chelsea A. Metcalf; Tuba Yavuz (Softw. Qual. J., 2018)