Automated Test Generation for Multi-core Virtual Prototypes

The project develops new methods for automated generation of tests with high coverage for multi-core virtual prototypes.

Contact: Prof. Dr. Rolf Drechsler, Dr. Daniel Große, Dr. Hoang M. Le

The project develops new methods for automated generation of tests with high coverage for multi-core virtual prototypes.