automated unit testing of large industrial embedded software using concolic testing published presentations and documents on DocSlides.
