Adaptive model learning for continual verification of non-functional properties

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]

Authors

Radu Calinescu

This author has not been identified. It may be one of the following persons: Look up 'Radu Calinescu' in Google

Yasmin Rafiq

This author has not been identified. Look up 'Yasmin Rafiq' in Google

Kenneth Johnson

Identified as Kenneth Johnson

Mehmet Emin Bakir

This author has not been identified. Look up 'Mehmet Emin Bakir' in Google