Publications
pp. 48–54, 2013, doi: 10.1109/mc.2013.299 . [5] B. Steffen, M. Isberner, S. Naujokat, T. Margaria, and M. Geske, “Property-driven benchmark generation,” in Model checking software , 2013, vol. 7976, pp [...] ime_Monitoring 2013 [1] F. Howar, D. Giannakopoulou, and Z. Rakamarić, “Hybrid learning: interface generation through static, dynamic, and symbolic analysis,” in Proceedings of the 2013 International Symposium [...] Analysis , Lugano, Jul. 2013, pp. 268–279, doi: 10.1145/2483760.2483783 . [2] S. Windmüller, J. Neubauer, B. Steffen, F. Howar, and O. Bauer, “Active continuous quality control,” in CBSE 2013 proceedings , Vancouver …