| 2025 | DSN | Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches. | Md Rashedul Hasan, Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri |
| 2025 | ICSE | Model Assisted Refinement of Metamorphic Relations for Scientific Software. | Clay Stevens, Katherine Kjeer, Ryan M. Richard, Edward F. Valeev, Myra B. Cohen |
| 2024 | ICSE | Scalable Relational Analysis via Relational Bound Propagation. | Clay Stevens, Hamid Bagheri |
| 2024 | SSBSE | Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness Function. | Jianghao Wang, Clay Stevens, Brooke Kidmose, Myra B. Cohen, Hamid Bagheri |
| 2022 | DSN | SAINTDroid: Scalable, Automated Incompatibility Detection for Android. | Bruno Vieira Resende e Silva, Clay Stevens, Niloofar Mansoor, Witawas Srisa-an, Tingting Yu, Hamid Bagheri |
| 2022 | ISSTA | Combining solution reuse and bound tightening for efficient analysis of evolving systems. | Clay Stevens, Hamid Bagheri |
| 2021 | IJCAI | Game-theoretic Analysis of Effort Allocation of Contributors to Public Projects. | Jared Soundy, Chenhao Wang, Clay Stevens, Hau Chan |
| 2021 | ICSE | Exploring the Efficiency of Self-Organizing Software Teams with Game Theory. | Clay Stevens, Jared Soundy, Hau Chan |
| 2020 | ICSE | Reducing run-time adaptation space via analysis of possible utility bounds. | Clay Stevens, Hamid Bagheri |
| 2020 | ISSTA | Scalable analysis of interaction threats in IoT systems. | Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri |
| 2010 | NOMS | Extending a knowledge-based network to support temporal event reasoning. | John Keeney, Clay Stevens, Declan O'Sullivan |