Clay Stevens

cdsteven@iastate.edu

Atanasoff 204

Research Area

Clay Stevens, Hamid Bagheri:
Scalable Relational Analysis via Relational Bound Propagation. ICSE 2024: 177:1-177:12
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)
Bruno Vieira Resende e Silva, Clay Stevens, Niloofar Mansoor, Witawas Srisa-an, Tingting Yu, Hamid Bagheri:
SAINTDroid: Scalable, Automated Incompatibility Detection for Android. DSN 2022: 567-579
Clay Stevens, Hamid Bagheri:
Combining solution reuse and bound tightening for efficient analysis of evolving systems. ISSTA 2022: 89-100
Clay Stevens, Hamid Bagheri:
Parasol: efficient parallel synthesis of large model spaces. ESEC/SIGSOFT FSE 2022: 620-632