Enrolment options

cpf_VerificationAndValidation_2018_EMSE_Russo_v1.pdfcpf_VerificationAndValidation_2018_EMSE_Russo_v1.pdf
Course Syllabus

Fundamentals of Software Testing and Analysis

Testing techniques (e.g. Unit and Integration Testing) 

Coverage Analysis

System Testing and Test Automation

Test Management

Software reliability and Static Analysis of Software Systems

Dynamic systems and Markov chains

Modeling software reliability 


Self enrolment (Student)