Analyzing second-order effects between optimizations for system-level test-based model generation.

Tiziana Margaria, Harald Raffelt, Bernhard Steffen

Browse the full ITC paper archive.