Chelsea A. Metcalf

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 3

Top Topics

Static Analysis

Monotonicity Constraints

Admissible Heuristics

Top Venues

Softw. Qual. J.

Publications

Chelsea A. Metcalf, Tuba Yavuz
Detecting potential deadlocks through change impact analysis. Softw. Qual. J. 26 (3) (2018)
Tuba Yavuz, Chelsea A. Metcalf
Heuristics for Selecting Predicates for Partial Predicate Abstraction. CoRR (2018)
Chelsea A. Metcalf, Farhaan Fowze, Tuba Yavuz, José Fortes
Extracting configuration parameter interactions using static analysis. ICPC (2016)