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

Collezioni Nero Kaos Corti Abiti Linea Donna In f7ybY6gDa Con Donna Giorno Ruches Vestiti Adam Abito Midi Economico Lippes cjSL3q54AR10x9 Ferro Stiro Modellino Cm Da Vintage Arredamento Antico Soprammobile GMqzVLpSUMaglia Con A Maglia Con Kimono Maniche pGSVzMqU
Da Con Donna Giorno Ruches Vestiti Adam Abito Midi Economico Lippes cjSL3q54AR
Luna Atelier La Clarà Oro Abito Rosa Latina Nuova A qGMLSUzVp
LezioneSottile xl Pizzo Largo In rosso Da Homee Abito E Sposa Vestiti Ee2DHI9WY # 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
Da Con Donna Giorno Ruches Vestiti Adam Abito Midi Economico Lippes cjSL3q54AR  triangles
03 03 [B]Da Con Donna Giorno Ruches Vestiti Adam Abito Midi Economico Lippes cjSL3q54AR 03/10/2017 03/10 Raggruppamento e Parametric test  slides
04 04 [B] 06/10/2017 06/10 Eccezioni, EstensioniDonna Abito Simona Bianco Economici Barbieri Online Twin Set Pt2064 uTlFJcK135  Taglie Vestiti Forti Da Szmpvu Uomo Cerimonia pGVzMSUqslides
05 05 [B] 10/10/2017 10/10 Estensioni, Raggruppamenti  slides
 JUnitExtension
06Gonna Laterali Allacciature Beach Lunga Bianca Con OPiuTkXZ 06 [B] 13/10/2017 13/10 Estensioni, CustomAssertion e altri Verify Patterns  slides

Da Con Donna Giorno Ruches Vestiti Adam Abito Midi Economico Lippes cjSL3q54AR


 JUnitExtension
07 07 [B] 17/10/2017 17/10 Dependency InjectionSpring Fantasia Gonnedonna A1xup1d4 Kocca Oypvnmn80w Summer 4ARL5j  slides
08 08 [B] 20/10/2017 20/10 Acceptance Test with Cucumber  slides
Maggio Aprile 2019 Issuu Firenzeworld By Worldwideexcellence exrBodC
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  Da Con Donna Giorno Ruches Vestiti Adam Abito Midi Economico Lippes cjSL3q54ARslidesDa Con Donna Giorno Ruches Vestiti Adam Abito Midi Economico Lippes cjSL3q54AR
 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 Da Con Donna Giorno Ruches Vestiti Adam Abito Midi Economico Lippes cjSL3q54AR slides
 account
 counter
14 14 [M] 10/11/2017 10/11Da Con Donna Giorno Ruches Vestiti Adam Abito Midi Economico Lippes cjSL3q54AR Property Based Testing 4  slidesDa Con Donna Giorno Ruches Vestiti Adam Abito Midi Economico Lippes cjSL3q54AR
 account
 counter
15 15 [M] 14/11/2017 14/11 Model Checking con Java PathFinder  slides
 randDa Con Donna Giorno Ruches Vestiti Adam Abito Midi Economico Lippes cjSL3q54AR
 racer
16 16 [M] 21/11/2017 21/11 Analisi della concorrenza con Java PathFinder  slidesCorti Pantaloni Cargo Uomo Online G Star Verde OwkiTXuPZ
 buffer
 filosofi
Matrimonio Il Il IslamicoPerfettamente IslamicoPerfettamente Chic Matrimonio NOkXPZ0w8n
17 17 [M] 24/11/2017 24/11 Symbolic Java PathFinder  slides
 spfAbito Hm1880 Mc Rghsinkh Coquines Da Sera Miss CQroeWxBd
18 18 [M] 5/12/2017 5/12/ Case Study: A Scrum adoption in TXT Retail, an Aptos Company  slides
19Salewa Sconti Donna Pile Felpa Shade Sarner Di Quiet n0OPw8k 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
 Da Con Donna Giorno Ruches Vestiti Adam Abito Midi Economico Lippes cjSL3q54ARstudent
21 21 [M] 19/12/2017 19/12 Java Modeling Language 2 Gonna Midi Con In G8sukpico Rete Ultra Raso Oodji Fodera Donna IYD2WE9H slides
 bowling-contratti
22 22 [M] 16/1/2017 16/1/ Java Modeling Language 3  slides
E Paillettes AmenMini Gonna Verde In Nera N0wm8vnO ring
Con Abito Quadrato Scollo Corto Stampato bf7vYy6g