Login / Signup
Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection.
Kohei Tsujio
Mohammad Abdullah Al Faruque
Yasser Shoukry
Published in:
CoRR (2024)
Keyphrases
</>
data mining
data analysis
eye movements