-
Md Rashedul Hasan, Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri:
Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches.
DSN 2025: 88-101
-
Clay Stevens, Katherine Kjeer, Ryan M. Richard, Edward F. Valeev, Myra B. Cohen:
Model Assisted Refinement of Metamorphic Relations for Scientific Software.
NIER@ICSE 2025: 31-35
-
Clay Stevens, Hamid Bagheri:
Scalable Relational Analysis via Relational Bound Propagation.
ICSE 2024: 177:1-177:12
-
Jianghao Wang, Clay Stevens, Brooke Kidmose, Myra B. Cohen, Hamid Bagheri:
Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness Function.
SSBSE 2024: 1-17
-
Mohannad Alhanahnah, Clay Stevens, Bocheng Chen, Qiben Yan, Hamid Bagheri:
IoTCom: Dissecting Interaction Threats in IoT Systems.
IEEE Trans. Software Eng. 49(4): 1523-1539 (2023)
