Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub. Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018. Universität Tübingen, 2018. [doi]
Abstract is missing.