Sign in
SSG-AFL: Vulnerability detection for Reactive Systems using Static Seed Generator based AFL.
Sangharatna Godboley
Arpita Dutta
Pisipati Radha Krishna
Durga Prasad Mohapatra
Published in:
COMPSAC (2022)
Keyphrases
</>
reactive systems
automatic detection
false positives
detection algorithm
false alarms
model checking
detection rate
information flow
object detection
detection method
petri net
temporal logic
formal methods
real time
expert systems
black box