Cited By
View all- Charoenwet WThongtanunam PPham VTreude CChristakis MPradel M(2024)An Empirical Study of Static Analysis Tools for Secure Code ReviewProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3680313(691-703)Online publication date: 11-Sep-2024
- Corsi Ferrão Rdos Santos Montagner ISilva MZilles CAzevedo RMonga MLonati VBarendsen ESheard JPaterson J(2024)Embedded-check a Code Quality Tool for Automatic Firmware VerificationProceedings of the 2024 on Innovation and Technology in Computer Science Education V. 110.1145/3649217.3653577(66-72)Online publication date: 3-Jul-2024
- Krichen M(2023)Formal Methods and Validation Techniques for Ensuring Automotive Systems SecurityInformation10.3390/info1412066614:12(666)Online publication date: 18-Dec-2023
- Show More Cited By