Shahid Mahmood, Alexy Fouillade, Hoang Nga Nguyen, Siraj A. Shaikh. A Model-Based Security Testing Approach for Automotive Over-The-Air Updates. In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020. pages 6-13, IEEE, 2020. [doi]
Abstract is missing.