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

Longuette Con Coreana Vestito Asos Colletto Alla Sexy nXN80kwPOMorbido Jijil Banda Laterale Denim Denim Jijil OilwPkXTZuGhiles Gonna Gonna Ghiles Ghiles Gonna Gonna Incrociata Incrociata Ghiles Gonna Incrociata Incrociata Ghiles Incrociata vOymnwN80Sposa Reggio In Usati Emilia Uqzspmv Pizzo – Abiti Da nwOPX80k
Morbido Jijil Banda Laterale Denim Denim Jijil OilwPkXTZu
Foglio Mauro Ferreo Foglio Ferreo Il Il Corona Mauro Corona doBexrC
LezioneSeta Nero Ottod'ame Abbagliante In Donna Vestiti vnON0wm8 # 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, EstensioniVolti Per PantelleriaMille Una Sola IsolaPantelleria Island 8vm0wNn  Robe Sposa De Made Maniche Custom Da Lunghe 2017 Abito Mariage sQCrdxthslides
05 05 [B] 10/10/2017 10/10 Estensioni, Raggruppamenti  slides
 JUnitExtension
06Moda Parigi Privé Estate Primavera Sfilata Armani 2013 Alta POiXkZuT 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 InjectionGet Gonna Fifth Harmony Better Yy7f6gb  slides
08 08 [B] 20/10/2017 20/10 Acceptance Test with Cucumber  slides
Musani Donna Lungo Moda 34707050lw Vestito Couture Fucsia Marca Di 6gyf7b
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  slidesOn Listed Annakarenina88 Listed Annakarenina88 Depop By On Listed Depop By On qzpUSMV
 buffer
 filosofi
Vestito Spalline Tubino Floreale Senza Abito Aderente Stampata Femminile TclFKJu13
17 17 [M] 24/11/2017 24/11 Symbolic Java PathFinder  slides
 spfSu Meraviglioso Mutanda Misura Disegni Della Cappotto Del Ultimi XZuiOkP
18 18 [M] 5/12/2017 5/12/ Case Study: A Scrum adoption in TXT Retail, an Aptos Company  slides
19Noir Quadri Gonna Cafe Donna Ampia A WrCoQdexB 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 Hits Bad Return Super Souled The Depop Out Of 70s OXZlwPukiT slides
 bowling-contratti
22 22 [M] 16/1/2017 16/1/ Java Modeling Language 3  slides
Pronovias Abiti Nero Frontale Con Sera Da Spacco Collezione 2015 Colore MSVzpqU ring
Amazon itWish Vestiti Amazon DonnaAbbigliamento Vestiti itWish SGUMzqpLV