Author of the publication

Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing.

, , and . DAC, page 667-672. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automated Detection of Spatial Memory Safety Violations for Constrained Devices., , and . ASP-DAC, page 160-165. IEEE, (2022)3D Visualization of Symbolic Execution Traces., , , and . FDL, page 1-8. IEEE, (2022)SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification., , and . ATVA, volume 13505 of Lecture Notes in Computer Science, page 77-82. Springer, (2022)Towards Quantification and Visualization of the Effects of Concretization During Concolic Testing., , and . IEEE Embed. Syst. Lett., 14 (4): 195-198 (2022)Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT., , and . IEEE Internet Things J., 10 (11): 9544-9555 (June 2023)Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime., , , and . ICCD, page 312-315. IEEE, (2020)An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes., , and . DATE, page 218-221. IEEE, (2021)Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing., , and . DAC, page 667-672. IEEE, (2021)In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes., , and . FDL, page 1-7. IEEE, (2021)Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT., , and . (January 2023)