Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution. - Mazen Ahmed; Mona Safar (ICM, 2018)

Symbolic Execution based Verification of Compliance with the ISO 26262 Functional Safety Standard. - Mazen Ahmed; Mona Safar (DTIS, 2019)