Login / Signup
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines.
Jitendra Bhandari
Johann Knechtel
Ramesh Narayanaswamy
Siddharth Garg
Ramesh Karri
Published in:
CoRR (2024)
Keyphrases
</>
finite state machines
model checking
false positives
finite state automata
source code
automatic detection
detection accuracy
detection algorithm
detection method
software systems
event detection
detection rate
false alarms
object detection
database
case study
databases
open source
matching algorithm
video sequences