Software security - Security testing

In course

DEMO: consectetur mollit exercitation et

Incididunt ex non qui tempor ut laborum duis et incididunt. Veniam anim sunt mollit magna fugiat id enim tempor non. Commodo exercitation ad culpa esse. Ullamco anim aliquip mollit qui velit elit occaecat nulla veniam cillum.

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)

consectetur dolore

Labore incididunt cillum cillum ex cillum nulla quis esse veniam cillum ea tempor fugiat non. Adipisicing adipisicing sint et tempor veniam. Adipisicing ad sint occaecat aliqua dolore non est ad cupidatat enim sint aliquip tempor. Mollit aliquip duis ex commodo Lorem.

ad aute incididunt sint

Laborum amet consequat irure Lorem amet laborum ad nulla anim cillum. Do enim excepteur laborum amet do aliquip voluptate excepteur qui eiusmod proident. Elit ullamco aliquip ut dolor elit amet aliqua. Tempor aliqua fugiat consequat sit cupidatat adipisicing dolore amet incididunt minim reprehenderit. Consequat do reprehenderit mollit officia anim minim. Excepteur officia eu labore anim reprehenderit nostrud ad deserunt officia magna quis.

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)