Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection

ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)

Authors 0

1. Author list not loaded yet.