 |
Conference papers
Binary-Level Testing of Embedded Programs
Abstract : Dynamic Symbolic Execution (DSE) is a powerful approach to automatic test data generation. It has been heavily used in recent years for finding bugs in desktop programs. In this article, we discuss the use of binary-level DSE for testing safety-critical embedded systems. More especially, we present several innovative features implemented in our DSE tool OSMOSE, and we show through four case-studies how these features can be used in practical situations.
https://hal-cea.archives-ouvertes.fr/cea-01836221
Contributor : Léna Le Roy Connect in order to contact the contributor
Submitted on : Thursday, July 12, 2018 - 10:40:39 AM
Last modification on : Tuesday, November 23, 2021 - 3:44:40 AM
Contributor : Léna Le Roy Connect in order to contact the contributor
Submitted on : Thursday, July 12, 2018 - 10:40:39 AM
Last modification on : Tuesday, November 23, 2021 - 3:44:40 AM
Links full text
