Daniel Schemmel, René Glebke, Mirko Stoffers, Klaus Wehrle. Towards Benchmark Optimization by Automated Equivalence Detection. In Workshop on Benchmarking Cyber-Physical Networks and Systems, Bench@CPSWeek 2018, Porto, Portugal, April 10, 2018. pages 25-29, IEEE, 2018. [doi]
Abstract is missing.