• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Sören TempelVladimir HerdtRolf Drechsler
Published in: DAC (2021)
Keyphrases
  • embedded software
  • embedded systems
  • development projects
  • software architecture
  • spatial data
  • spatial information
  • data model
  • real time
  • artificial intelligence