HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees.

Javier Cmara

Browse the full ICSE paper archive.