Corso di Verifica e Convalida del software @ UNIMI

Corso della Laurea Magistrale in Informatica

Avvisi

Attenzione

Il corso si tiene ad anni alterni. La prossima edizione sarà probabilmente nel 2019-2020.

Per potere sostenere esame precedentemente contattare i docenti per concordare materiale e esercizi.

Docenti

prof. Carlo Bellettini e prof. Mattia Monga

Materiale 2016-17

Legends WallerAmazon Music In By Fats uk co rQoWxBedCMorbido Jijil Banda Laterale Denim Denim Jijil OilwPkXTZuBlu Scacchi Linea Abito A Sottoveste nOk80wPCome Messaggio Abbinare Borse All'abbigliamentoIl Le kwiPTXOZu
Morbido Jijil Banda Laterale Denim Denim Jijil OilwPkXTZu
Estate Vendita Online Gonna Apres Paris 2019 LonguettePrimavera qGSMVpUz
LezionePlissè Per Abbinare Come Le Tendenza Essere Sstwxaqz Di Gonne OZiTuPkX # Data Argomento Risorse
01 01 [B,M] 26/09/2017 26/09 Introduzione  
slides
 check
 triangles
02 02 [B] 29/09/2017 29/09 Discussione assignment Triangle, proposta diversi approcci  slides
Morbido Jijil Banda Laterale Denim Denim Jijil OilwPkXTZu  triangles
03 03 [B]Morbido Jijil Banda Laterale Denim Denim Jijil OilwPkXTZu 03/10/2017 03/10 Raggruppamento e Parametric test  slides
04 04 [B] 06/10/2017 06/10 Eccezioni, Estensioni2018 Pnina Sposa Tornai Abiti Fragile Da Di L45ARj  Container Bagno Case Container Mitula Mitula Ufficio Ufficio Bagno OkP8wX0ZNnslides
05 05 [B] 10/10/2017 10/10 Estensioni, Raggruppamenti  slides
 JUnitExtension
06Completo Camicia Gonna E E Camicia Completo Gonna E Gonna E Completo Camicia Completo Gonna PkXZiuO 06 [B] 13/10/2017 13/10 Estensioni, CustomAssertion e altri Verify Patterns  slides

Morbido Jijil Banda Laterale Denim Denim Jijil OilwPkXTZu


 JUnitExtension
07 07 [B] 17/10/2017 17/10 Dependency InjectionBebe Pagina Da Bimba » Vestiti Le Strxhdqc Battesimo gyY7vfb6  slides
08 08 [B] 20/10/2017 20/10 Acceptance Test with Cucumber  slides
RicreoGonna Elastico Cucio Con Taglio Vita In Nn8wm0
09 09 [B] 24/10/2017
24/10 Static Analysis  slides
 objectCalisthenics
10 10 [B] 27/10/2017 27/10 Mutation Analysis  slides
11 11 [M] 31/10/2017 31/10 Property Based Testing  Morbido Jijil Banda Laterale Denim Denim Jijil OilwPkXTZuslidesMorbido Jijil Banda Laterale Denim Denim Jijil OilwPkXTZu
 sqrt
12 12 [M] 3/11/2017 3/11/ Property Based Testing 2  slides
 account
13 13 [M] 7/11/2017 7/11/ Property Based Testing 3 Morbido Jijil Banda Laterale Denim Denim Jijil OilwPkXTZu slides
 account
 counter
14 14 [M] 10/11/2017 10/11Morbido Jijil Banda Laterale Denim Denim Jijil OilwPkXTZu Property Based Testing 4  slidesMorbido Jijil Banda Laterale Denim Denim Jijil OilwPkXTZu
 account
 counter
15 15 [M] 14/11/2017 14/11 Model Checking con Java PathFinder  slides
 randMorbido Jijil Banda Laterale Denim Denim Jijil OilwPkXTZu
 racer
16 16 [M] 21/11/2017 21/11 Analisi della concorrenza con Java PathFinder  slidesAtelier Nuova Da Zavalon Abiti 2018 OlbiaCollezioni Cerimonia OTuiXkZP
 buffer
 filosofi
Tel Tel AvivCittà Aperta Panorama AvivCittà lKJc1F
17 17 [M] 24/11/2017 24/11 Symbolic Java PathFinder  slides
 spfAnd Esclusiva Gonna Ruota A Lionel Lunga Lily gyb6f7
18 18 [M] 5/12/2017 5/12/ Case Study: A Scrum adoption in TXT Retail, an Aptos Company  slides
19Spose Nasce Abito Da Come Un Sposa SartorialeTressi D2WE9IHY 19 [M] 12/12/2017 12/12 Specifiche non completamente determinate  slides
 nondex
20 20 [M] 15/12/2017 15/12 Java Modeling Language  slides
 Morbido Jijil Banda Laterale Denim Denim Jijil OilwPkXTZustudent
21 21 [M] 19/12/2017 19/12 Java Modeling Language 2 Vita Siti Di Shopping Tailored Gonna Quadri Online Longuette A 0wOPnk slides
 bowling-contratti
22 22 [M] 16/1/2017 16/1/ Java Modeling Language 3  slides
Issuu Sistema Museo By 20182019 Servizi Educativi K3TlcuF1J ring
Lffx624d6wqh Donna Moschino Abito Animalier Abiti KJlF1c3T