Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Generazione automatica di casi di test per software in evoluzione |
---|---|
Titolo del progetto di ricerca in inglese | Automatic test case generation for evolving software |
Campo principale della ricerca | Computer science |
Sottocampo della ricerca | Other |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | la ricerca si inserisce nel contesto del progetto PINCETTE (EU 257647 in FP7-ICT-2009-5) che studia tecniche e metodi per supportare la verifica e la convalida di per sistemi basati su software in evoluzione. In particolare, si studieranno tecniche di analisi dinamica e valutazione simbolica dei programmi finalizzate a realizzare la generazione automatica di casi test, tenendo conto delle modifiche effettuate incrementalmente al software. |
Descrizione sintetica in inglese | http://www.unimib.it/link/news.jsp?7162918054302792061 the research will be developed in the context of the PINCETTE project (EU 257647 under the FP7-ICT-2009-5) that studies technicques and methods to support the verification and valiadtion of evolving software-based systems. In particular, the research will be concerned with techniques for the dynamic analysis and symbolic evaluation of programs, aimed to accomplish the automatic generation of test cases, while accounting for the incremental modifications of the software. |
Data del bando | 15/05/2012 |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
All |
Nazionalità dei candidati |
All |
Sito web del bando | http://www.unimib.it/link/news.jsp?7162918054302792061 |
Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
---|
Nome dell'Ente finanziatore | Università degli Studi di Milano - Bicocca |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Milano |
Sito web | http://www.unimib.it |
bandi.assegni_borse@unimib.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Jrc |
---|
Data di scadenza del bando | 04/06/2012 |
---|---|
Come candidarsi | Other |