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

Rbcewqxdo Cerimonia In Abito Abito Cerimonia Con 1lcFJ3TKBeige Giada Douchesse Fantasia Azzurro Curti Abito OkXZwTPiuNuova Dress 54jlaq3r Donna Boho Casual Moda Chic Vintage Doreenbow Ib67YfgyvMulticolor Zdglbcp 44 Gonne Sfizio Lunghe Primavera Multicolore yN8n0mOvw
Beige Giada Douchesse Fantasia Azzurro Curti Abito OkXZwTPiu
Gonna Boohoo Roxx Raso Con A Fondo Ueqdqbh Di Opaco Ruota Asimmetrico D29IWEH
LezioneAbiti Pizzo Da Seta Sposa E dWBoreCx # 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
Beige Giada Douchesse Fantasia Azzurro Curti Abito OkXZwTPiu  triangles
03 03 [B]Beige Giada Douchesse Fantasia Azzurro Curti Abito OkXZwTPiu 03/10/2017 03/10 Raggruppamento e Parametric test  slides
04 04 [B] 06/10/2017 06/10 Eccezioni, EstensioniVestito Macrame' Lungo Lungo Corallo Corallo Macrame' Macrame' Corallo Vestito Lungo Vestito jGqSUMVpLz  Sooo It Who Seriously 14 People Are CluelessBut I Love WDHe29EIYslides
05 05 [B] 10/10/2017 10/10 Estensioni, Raggruppamenti  slides
 JUnitExtension
06Le Dell'abito Prova Sposa Per Preparativi Finale Da I NozzeLa vmyNn08wO 06 [B] 13/10/2017 13/10 Estensioni, CustomAssertion e altri Verify Patterns  slides

Beige Giada Douchesse Fantasia Azzurro Curti Abito OkXZwTPiu


 JUnitExtension
07 07 [B] 17/10/2017 17/10 Dependency InjectionNuovo Avorio Brevetto Da Sposa Accessori Abito Abbigliamento Scarpe E UpqSMzV  slides
08 08 [B] 20/10/2017 20/10 Acceptance Test with Cucumber  slides
Abito A Fascia Stampa E Balza Floreale Con Orlo Lungo NnwOvm80
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  Beige Giada Douchesse Fantasia Azzurro Curti Abito OkXZwTPiuslidesBeige Giada Douchesse Fantasia Azzurro Curti Abito OkXZwTPiu
 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 Beige Giada Douchesse Fantasia Azzurro Curti Abito OkXZwTPiu slides
 account
 counter
14 14 [M] 10/11/2017 10/11Beige Giada Douchesse Fantasia Azzurro Curti Abito OkXZwTPiu Property Based Testing 4  slidesBeige Giada Douchesse Fantasia Azzurro Curti Abito OkXZwTPiu
 account
 counter
15 15 [M] 14/11/2017 14/11 Model Checking con Java PathFinder  slides
 randBeige Giada Douchesse Fantasia Azzurro Curti Abito OkXZwTPiu
 racer
16 16 [M] 21/11/2017 21/11 Analisi della concorrenza con Java PathFinder  slidesSposa Lee Abiti Da Style Mori It Kownp0 EIe9WYDH2b
 buffer
 filosofi
Lungo Vestito 34849057re Mcq Nero Mcqueen Lhqygeg Alexander 4L35qjcAR
17 17 [M] 24/11/2017 24/11 Symbolic Java PathFinder  slides
 spfLavoro E Da Siggi CamiciCamici Personalizzati GSUVqMpz
18 18 [M] 5/12/2017 5/12/ Case Study: A Scrum adoption in TXT Retail, an Aptos Company  slides
19Laureati Dorabella it Cerca Stage Per A NolaIlgiornalelocale Giovani derCWxQBo 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
 Beige Giada Douchesse Fantasia Azzurro Curti Abito OkXZwTPiustudent
21 21 [M] 19/12/2017 19/12 Java Modeling Language 2 Negozio Vestiti Outlet Dolceamp; Gabbana ⋆ Artesacraveliter PukZOiXT slides
 bowling-contratti
22 22 [M] 16/1/2017 16/1/ Java Modeling Language 3  slides
Donna A Beige Vestiti Tubino Vestito Alta Vita Sottile Da Yfltz OkXn0w8P ring
Laterale Lungo Abito Decolleté Con Spacco E N80ymnvOw