Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow

Abstract

Concrete Symbolic Testing (Concolic Testing) is well established in scientific literature, but not yet widely used in industry practice. This work presents a practical approach of integrating concolic testing tools into an industrial embedded software development workflow. The practical example of a microcontroller storage subsystem serves as means to illustrate benefits and challenges.