Kevin Guan
I am a PhD student in Computer Science at Cornell University, advised by Professor Owolabi Legunsen. My research focuses on software testing and runtime verification. Previously, I graduated from UC Davis, where I worked with Professor Cindy Rubio González.
Publications
Instrumentation-Driven Evolution-Aware Runtime Verification
Kevin Guan and Owolabi Legunsen
47th International Conference on Software Engineering (ICSE 2025)
pages: to appear, Ottawa, Canada, April-May 2025
An In-depth Study of Runtime Verification Overheads during Software Testing
Kevin Guan and Owolabi Legunsen
33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024)
Vienna, Austria, September 2024
(This paper won an ACM SIGSOFT Distinguished Paper Award)
ActionsRemaker: Reproducing GitHub Actions
Hao-Nan Zhu, Kevin Guan, Robert M. Furth, and Cindy Rubio-González
45th International Conference on Software Engineering, Tool Demonstrations Track (ICSE Demo 2023)
Melbourne, Australia, May 2023
TutorialS
Evaluating Fault Detection, Test Generation and Program Repair Techniques using BugSwarm
ESEC/FSE 2023 Tutorials
San Fransisco, CA, December 2023