Software Technology

F. Abouzaid, J. Mullins, M. Mazzara, and N. Dragoni, "Modelling and Analysis of Dynamic Reconfiguration in BP-calculus", 6th International KES Conference on Agents and Multi-agent Systems Technologies and Applications, Dubrovnik, Croatia, 2012.

L. Biselli, N. Dragoni, Emanuela Goldoni, P. P. Greco, A. Marraffa, M. Mazzara, and G. Papageorgiou, "Social Networks and Collective Intelligence - A Return to the Agora (with the Polidoxa Shift)", AT 2012, Dubrovnik, Croatia, 2012.

W. Ke, Z. Liu, S. Wang, and L. Zhao, "A graph-based generic type system for object-oriented programs", Frontiers of Computer Science, In Press.

L. Zhao, R. Bruni, and Z. Liu, "A sound and complete theory of graph transformations for service programming with sessions and pipelines", Science of Computer Programming, Submitted.

R. Bruni, Z. Liu, and L. Zhao, "Graph representation of sessions and pipelines for structured service programming", FACS 2010, vol. 6921: Springer, pp. 259-276, 2012.

S. Arlt, A. Podelski, I. Banerjee, A. Memon, C. Bertolini, and M. Schäf, "Lightweight Static Analysis for GUI Testing", 23rd annual International Symposium on Software Reliability Engineering (ISSRE 2012) , 12/2012.

S. Arlt, P. Borromeo, A. Podelski, and M. Schäf, "Parameterized GUI Tests", The 24th IFIP Int. Conference on Testing Software and Systems (ICTSS'12), 2012.

J. Christ, E. Ermis, M. Schäf, and T. Wies, "Flow-sensitive Fault Localization", 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'13): Springer, 2013.

S. Arlt, C. Bertolini, S. Pahl, and M. Schäf, "Trends in Model-based GUI Testing", Advances in Computers, vol. 86, pp. 183-222, 2012.

E. Ermis, M. Schäf, and T. Wies, "Error Invariants", FM, pp. 187-201, 2012.