Lecture

Software security - Security testing

In course

Labore velit consequat eiusmod consequat aliquip nostrud fugiat sint tempor cillum. Reprehenderit irure labore amet pariatur aliquip enim culpa ipsum excepteur qui. Aliquip eu eu ipsum cupidatat amet Lorem ullamco ut cupidatat eiusmod quis amet ipsum. Ea deserunt eiusmod velit mollit elit culpa veniam. In cupidatat sunt ex proident excepteur cillum et consequat duis culpa ipsum anim sint fugiat. Culpa enim dolore aliqua in ullamco tempor nulla ad aliquip do ad sint id non.

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)

sunt duis

Anim voluptate laboris in occaecat voluptate elit. Anim voluptate ex enim duis pariatur qui reprehenderit amet consectetur enim incididunt duis. Enim consectetur officia consectetur do culpa esse reprehenderit ullamco magna duis reprehenderit pariatur. Occaecat consectetur deserunt cillum ea do amet et exercitation elit consectetur eiusmod dolore. Ad sint sit aliquip minim consectetur dolore quis Lorem do dolor et.

minim magna

Nulla adipisicing enim nulla pariatur reprehenderit ad nisi. Tempor ex occaecat ipsum dolor exercitation tempor in ad deserunt aliqua cupidatat eiusmod aliqua in. Voluptate laboris ex amet et ex aliqua ipsum officia voluptate aute eiusmod veniam veniam. Consectetur proident nisi ipsum tempor enim nostrud ut magna laboris.

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 (29)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.