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

Sren Tempel, Vladimir Herdt, Rolf Drechsler

Browse the full DAC paper archive.