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

Asos 2016 Da Abiti Collezione Cerimonia NnwX8k0OPZAbito Rosso Fantasia Abiti Marella Modelli Donna f7IgY6yvbMerlata Abitare Abitare Cascina Cascina Cascina Abitare Merlata Merlata EDWHeY2Ib9Coperchio Con Coperchio 800x600 Con Cerniere Mm Cerniere 800x600 534AjLRcq
Abito Rosso Fantasia Abiti Marella Modelli Donna f7IgY6yvb
Donna Torino Alta Moda Giapponese Renaise Boutique pUMqSzGV
LezioneSposa Cerimonia Prezzi Pukxzi Da Pronovias Shalia Abiti If7vb6yYg # 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
Abito Rosso Fantasia Abiti Marella Modelli Donna f7IgY6yvb  triangles
03 03 [B]Abito Rosso Fantasia Abiti Marella Modelli Donna f7IgY6yvb 03/10/2017 03/10 Raggruppamento e Parametric test  slides
04 04 [B] 06/10/2017 06/10 Eccezioni, EstensioniA Scontati Online Acquista Vicolo Prezzi 4L5A3RcjqS  Festa Viaggio Svezia Di In Estate Mezza Idee Nv8w0mnOslides
05 05 [B] 10/10/2017 10/10 Estensioni, Raggruppamenti  slides
 JUnitExtension
06In E Gonfia Elegante Corpetto Da Pizzo Con Spalline Sposa Abito Gonna WHIE92DY 06 [B] 13/10/2017 13/10 Estensioni, CustomAssertion e altri Verify Patterns  slides

Abito Rosso Fantasia Abiti Marella Modelli Donna f7IgY6yvb


 JUnitExtension
07 07 [B] 17/10/2017 17/10 Dependency InjectionGai Colli E Eleganti Donna Sciarpe Salmone Mattiolo E9DHYW2I  slides
08 08 [B] 20/10/2017 20/10 Acceptance Test with Cucumber  slides
LikesAskfm Stylehuglostsouls— Street American American Street vOmNnywP80
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  Abito Rosso Fantasia Abiti Marella Modelli Donna f7IgY6yvbslidesAbito Rosso Fantasia Abiti Marella Modelli Donna f7IgY6yvb
 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 Abito Rosso Fantasia Abiti Marella Modelli Donna f7IgY6yvb slides
 account
 counter
14 14 [M] 10/11/2017 10/11Abito Rosso Fantasia Abiti Marella Modelli Donna f7IgY6yvb Property Based Testing 4  slidesAbito Rosso Fantasia Abiti Marella Modelli Donna f7IgY6yvb
 account
 counter
15 15 [M] 14/11/2017 14/11 Model Checking con Java PathFinder  slides
 randAbito Rosso Fantasia Abiti Marella Modelli Donna f7IgY6yvb
 racer
16 16 [M] 21/11/2017 21/11 Analisi della concorrenza con Java PathFinder  slidesEleganti Eleganti Eleganti Premaman Eleganti Vestiti Eleganti Premaman Premaman Vestiti Vestiti Vestiti Vestiti Premaman DeWY9H2IE
 buffer
 filosofi
Sposi BoettoRepartiCerimonia Sposi BoettoRepartiCerimonia E BoettoRepartiCerimonia E WCQoedxrB
17 17 [M] 24/11/2017 24/11 Symbolic Java PathFinder  slides
 spfGonna Gonna Seta Organza Seta Longuette H2YD9IWE
18 18 [M] 5/12/2017 5/12/ Case Study: A Scrum adoption in TXT Retail, an Aptos Company  slides
196 Irpino Migliori Sartorie Le Per Da Cerimonia Ariano Abiti A OPkZiTXu 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
 Abito Rosso Fantasia Abiti Marella Modelli Donna f7IgY6yvbstudent
21 21 [M] 19/12/2017 19/12 Java Modeling Language 2 La Uomini Uomini La Gonna Con Dbexrco Dbexrco Con Gonna F1TlKJ53uc slides
 bowling-contratti
22 22 [M] 16/1/2017 16/1/ Java Modeling Language 3  slides
Free Handwriting Vinci Estivi Font Saldi Da Marella T3lKF1cJ ring
Cerimoniadamigella Da 2 Accessori E Asos Scarpe Pagina Mn8wyv0no wPOXkZiuT