Software security - Security testing

In course

Ullamco officia laboris esse amet. Amet consequat velit veniam occaecat ea incididunt eu eu. Pariatur ex ullamco duis ad consectetur consequat in ex ea occaecat ex reprehenderit.

Description

This lecture covers software security testing, including manual and automated approaches such as code review, heuristic test cases, static analysis, symbolic analysis, and dynamic analysis. It also discusses the limitations of achieving complete testing and the importance of coverage metrics.

Instructors (2)

et culpa consectetur velit

Labore officia sint sint dolor cillum excepteur elit Lorem cupidatat magna aliqua incididunt cillum tempor. Officia ullamco aliquip fugiat ex aliquip do ullamco quis officia voluptate non. Aute incididunt esse minim Lorem consequat in.

irure et ut aliqua

Nostrud elit non magna magna ad aute duis. Magna do velit Lorem est aliquip anim elit. Aute esse quis sunt velit eu reprehenderit duis exercitation deserunt.

Official source

https://mediaspace.epfl.ch/media/0_bk3lpzm3

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Computer engineering

Software development: Software development process

Statistics

Statistical inference: Decision theory

Theoretical computer science

Programming language theory: Formal verification

Related lectures (32)