Radu Calinescu, Yasmin Rafiq, Kenneth Johnson, Mehmet Emin Bakir. Adaptive model learning for continual verification of non-functional properties. In Klaus-Dieter Lange, John Murphy, Walter Binder, José Merseguer, editors, ACM/SPEC International Conference on Performance Engineering, ICPE'14, Dublin, Ireland, March 22-26, 2014. pages 87-98, ACM, 2014. [doi]
Abstract is missing.