Kevin Guan

According to our database, Kevin Guan authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

TraceMOP: An Explicit-Trace Runtime Verification Tool for Java.

Kevin Guan, Owolabi Legunsen

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

Instrumentation-Driven Evolution-Aware Runtime Verification.

Kevin Guan, Owolabi Legunsen

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

An In-Depth Study of Runtime Verification Overheads during Software Testing.

Kevin Guan, Owolabi Legunsen

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024