2 citations · 2 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
DeepParse: Hybrid Log Parsing with LLM-Synthesized Regex Masks
Amir Shetaia, Sean Kauffman
Modern distributed systems produce massive, heterogeneous logs essential for reliability, security, and anomaly detection. Converting these free-form messages into structured templ…
cs.SE2024★ 2 cited
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
Control flow coverage criteria are an important part of the process of qualifying embedded software for safety-critical systems. Criteria such as modified condition/decision covera…