Riccobene Elvinia Maria

Full professor
SSD
INF/01 - INFORMATICS
Competition sector
01/B1 - INFORMATICS

Contacts

Workplace

Via Celoria, 18

Office phone number
02503 16232
Additional phone numbers
0250316232
University email address
Web site
Office hours
on appointment
Office
Dept. of Computer Science

Education

Research

Publications
  • Fault-based test generation for regular expressions by mutation / P. Arcaini, A. Gargantini, E. Riccobene. - In: SOFTWARE TESTING VERIFICATION & RELIABILITY. - ISSN 0960-0833. - (2018 Mar 08). [Epub ahead of print]
  • A DSL for MAPE patterns representation in self-adapting systems / P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra (LECTURE NOTES IN COMPUTER SCIENCE). - In: Software Architecture / [a cura di] C.E. Cuesta, D. Garlan, J. Pérez. - [s.l] : Springer Verlag, 2018. - ISBN 9783030007607. - pp. 3-19 (( Intervento presentato al 12. convegno ECSA tenutosi a Madrid nel 2018.
  • Interactive testing and repairing of regular expressions / P. Arcaini, A. Gargantini, E. Riccobene (LECTURE NOTES IN COMPUTER SCIENCE). - In: Testing Software and Systems / [a cura di] I. Medina-Bulo, M.G. Merayo, R. Hierons. - [s.l] : Springer Verlag, 2018. - ISBN 9783319999265. - pp. 1-16 (( Intervento presentato al 30. convegno International Conference on Testing Software and Systems tenutosi a Cádiz nel 2018.
  • AsmetaF: A flattener for the ASMETA framework / P. Arcaini, R. Melioli, E. Riccobene. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - 284(2018), pp. 26-36. ((Intervento presentato al 4. convegno Workshop on Formal Integrated Development Environment, F-IDE tenutosi a Oxford nel 2018.
  • Closing the gap between the specification and the implementation: the ASMETA way / P. Arcaini, A. Gargantini, E. Riccobene - In: Models: Concepts, Theory, Logic, Reasoning and Semantics : Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday / [a cura di] A. Mashkoor, Q. Wang, B. Thalheim. - Prima edizione. - [s.l] : College Publications, 2018. - ISBN 9781848902763. - pp. 242-263