Pezzè – SOFTWARE TESTING AND ANALYSIS

Libro adottato a Salerno, L'Aquila, a.a. 2026/2027 · 3 canali

«Pezzè – SOFTWARE TESTING AND ANALYSIS» è adottato per Software Dependability dal prof. Dario Di Nucci (Informatica – sede di Fisciano – Salerno); per Software Dependability (Informatica – sede di Fisciano – Salerno); per Software Testing And Validation dal prof. Igor Melatti (Informatica – sede di L'Aquila – L'Aquila).

Come lo indica il docente: PEZZÈ, M., & YOUNG, M. (2008). SOFTWARE TESTING AND ANALYSIS: PROCESS, PRINCIPLES, AND TECHNIQUES. JOHN WILEY & SONS · Mauro Pezzè, Michal Young: "Software Testing and Analysis: Process, Principles, and Techniques", Wiley Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (Editors): "Handbook of Model Checking", Springer Christel Baier and Joost-Pieter Katoen: "Principles of Model Checking", MIT Press

Chi lo adotta

• Salerno · Software Dependability – Prof. Dario Di Nucci (canale 1)Informatica – sede di Fisciano · Laurea magistrale (LM-18) · esame facoltativo · 9 CFU
• Salerno · Software Dependability – docente non ancora indicato (canale 2)Informatica – sede di Fisciano · Laurea magistrale (LM-18) · esame facoltativo · 9 CFU
• L'Aquila · Software Testing And Validation – Prof. Igor Melatti (canale unico) a.a. 2025/2026Informatica – sede di L'Aquila · Laurea triennale (L-31) · 3º anno · 1º semestre · 6 CFU

Programma e testi di ogni canale

Si studia insieme a

• Knight – FUNDAMENTALS OF DEPENDABLE COMPUTING FOR SOFTWARE ENGINEERS
• Mead – SOFTWARE SECURITY ENGINEERING
• Edmund – Handbook of Model Checking
• Principles of Model Checking