Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems.

Javier Cmara, David Garlan, Bradley R. Schmerl

Browse the full ECSA paper archive.