Inizio della pagina -
Logo DISCO
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
Logo Ateneo
   
Mattavelli Andrea

E-mail: andrea.mattavelli<at>lta.disco.unimib.it 

Telephone: +39 02 6448 7853 

Room: T033

Current position: Development of concolic testing techniques for the automatic generation of test cases for embedded software

I am currently taking part in the PINCETTE Project, a European research project with the purpose to implement an innovative solution for automatic detection, localization and repair of regression faults in networked devices. Our work is focused on the problem of integrating static and dynamic analysis techniques to generate high structural code coverage.

 

Bio

In March 2011 I obtained a Master Degree cum laude in Informatics at the University of Milano - Bicocca, defending a thesis concerning Model generation for interface test case selection that I developed at the Laboratory of Test and Analysis (LTA), where I worked in the research group lead by Prof. Mauro Pezzè. During this internship, I collaborated in the definition and development of two innovative techniques on the problem of generating system test cases for GUI applications.

My first academic research experience dates back to my Bachelor Degree in Informatics (2008), during which I collaborated in the development and experimentation of a self-healing technique for concurrency problems under the supervision of Dr. Leonardo Mariani and Dr. Fabrizio Pastore at the Laboratory of Test and Analysis (LTA). This technique has been adopted within the self-healing framework developed during the SHADOWS Project, a European funded project for the improvement of the reliability of complex software systems by implementing an innovative software solution for the automatic detection, localization, and healing of faults.

Nessun approfondimento presente per questa pagina

Google Translate
Translate to English Translate to French Translate to German Translate to Spanish Translate to Chinese Translate to Portuguese Translate to Arabic
Translate to Albanian Translate to Bulgarian Translate to Croatian Translate to Czech Translate to Danish Translate to Dutch Translate to Finnish Translate to Greek Translate to Hindi
Translate to Hungarian Translate to Irish Translate to Japanese Translate to Korean Translate to Norwegian Translate to Polish Translate to Romanian Translate to Russian Translate to Serbian
Translate to Slovenian Translate to Swedish Translate to Thai Translate to Turkish

(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - ultimo aggiornamento di questa pagina 05/07/2011