Login / Signup
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations.
Paul Fiterau-Brostean
Bengt Jonsson
Konstantinos Sagonas
Fredrik Tåquist
Published in:
NDSS (2023)
Keyphrases
</>
automated detection
state machine
state machines
automated analysis
fault tolerant
lung cancer
finite state machines
source code
ultrasonic images
test cases
dermoscopy images
open source
software systems