Mazen Ahmed, Mona Safar. Symbolic Execution based Verification of Compliance with the ISO 26262 Functional Safety Standard. In 14th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, DTIS 2019, Mykonos, Greece, April 16-18, 2019. pages 1-6, IEEE, 2019. [doi]
Abstract is missing.