5 citations · 11 across the 8 of their papers we have counts for
3 papers · 1 filter
The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis
Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan +6
Safety assurance is of paramount importance across various domains, including automotive, aerospace, and nuclear energy, where the reliability and acceptability of mission-critical…
Benchmarking Deep Learning Fuzzers
Nima Shiri Harzevili, Hung Viet Pham, Song Wang
In this work, we set out to conduct the first ground-truth empirical evaluation of state-of-the-art DL fuzzers. Specifically, we first manually created an extensive DL bug benchmar…
SkipAnalyzer: A Tool for Static Code Analysis with Large Language Models
Mohammad Mahdi Mohajer, Reem Aleithan, Nima Shiri Harzevili +4
We introduce SkipAnalyzer, a large language model (LLM)-powered tool for static code analysis. SkipAnalyzer has three components: 1) an LLM-based static bug detector that scans sou…