Clay Stevens -

Registered user since Wed 17 Apr 2024

Name:Clay Stevens

Affiliation:Iowa State University

GitHub: https://github.com/clayness

Research interests:Software engineering, software design, formal methods, model checking

Contributions

2026

ICSE

PC Member in Program Committee within the New Ideas and Emerging Results (NIER)-track

2025

ISSTA

ICSE

Committee Member in Research Track within the Research Track-track
Author of Model Assisted Refinement of Metamorphic Relations for Scientific Software within the New Ideas and Emerging Results (NIER)-track

2024

ICSE

Author of Scalable Relational Analysis via Relational Bound Propagation within the Research Track-track