Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow.

Edgar J. Holleis

Browse the full ICST paper archive.