FESCA @ ETAPS 2009, 6th International Workshop on Formal Engineering approaches to Software Components and Architectures

York, UK

Contributions by our group:

• "Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods" by Michael Kuperberg, Fouad Omri, and Ralf Reussner
• "Automatic, model-based software performance improvement for component-based software designs" by Anne Martens and Heiko Koziolek