Clay Stevens

14 papers A* 3A 4B 2C 1Journal 1Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
Model Assisted Refinement of Metamorphic Relations for Scientific Software.
NIER@ICSE
Clay Stevens, Katherine Kjeer, Ryan M. Richard, Edward F. Valeev, Myra B. Cohen
2025 A conf
Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches.
DSN
Md Rashedul Hasan, Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri
2024 B conf
Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness Function.
SSBSE
Jianghao Wang, Clay Stevens, Brooke Kidmose, Myra B. Cohen, Hamid Bagheri
2024 A* conf
Scalable Relational Analysis via Relational Bound Propagation.
ICSE
Clay Stevens, Hamid Bagheri
2023 J jnl
IoTCom: Dissecting Interaction Threats in IoT Systems.
IEEE Trans. Software Eng.
Mohannad Alhanahnah, Clay Stevens, Bocheng Chen, Qiben Yan, Hamid Bagheri
2022 A conf
Combining solution reuse and bound tightening for efficient analysis of evolving systems.
ISSTA
Clay Stevens, Hamid Bagheri
2022 — conf
Parasol: efficient parallel synthesis of large model spaces.
ESEC/SIGSOFT FSE
Clay Stevens, Hamid Bagheri
2022 A conf
SAINTDroid: Scalable, Automated Incompatibility Detection for Android.
DSN
Bruno Vieira Resende e Silva, Clay Stevens, Niloofar Mansoor, Witawas Srisa-an, Tingting Yu, Hamid Bagheri
2021 — conf
Exploring the Efficiency of Self-Organizing Software Teams with Game Theory.
ICSE (NIER)
Clay Stevens, Jared Soundy, Hau Chan
2021 A* conf
Game-theoretic Analysis of Effort Allocation of Contributors to Public Projects.
IJCAI
Jared Soundy, Chenhao Wang, Clay Stevens, Hau Chan
2020 A* conf
Reducing run-time adaptation space via analysis of possible utility bounds.
ICSE
Clay Stevens, Hamid Bagheri
2020 A conf
Scalable analysis of interaction threats in IoT systems.
ISSTA
Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri
2010 B conf
Extending a knowledge-based network to support temporal event reasoning.
NOMS
John Keeney, Clay Stevens, Declan O'Sullivan
2009 C conf
Simulating Mobility in WSNs: Bridging the Gap between ns-2 and TOSSIM 2.x.
DS-RT
Clay Stevens, Colin Lyons, Ronny Hendrych, Ricardo Simón Carbajo, Meriel Huggard, Ciarán Mc Goldrick