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