Login / Signup
Range Specification Bug Detection in Flight Control System Through Fuzzing.
Ruidong Han
Siqi Ma
Juanru Li
Surya Nepal
David Lo
Zhuo Ma
Jianfeng Ma
Published in:
IEEE Trans. Software Eng. (2024)
Keyphrases
</>
control system
detection method
wide range
detection accuracy
automatic detection
e learning
control law
object detection
false alarms
neural network
source code
event detection
detection rate
closed loop
specification language
data sets
control algorithm
detection algorithm
anomaly detection
high level
case study