Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Software testing

Related courses (30)

AR-219: Advanced CAO and Integrated Modeling DIM

1ère année: bases nécessaires à la représentation informatique 2D (3D). Passage d'un à plusieurs logiciels: compétence de choisir les outils adéquats en 2D et en 3D. Mise en relation des outils de CAO et DIM: regard critique et aptitude à choisir les métho ...

EE-733: Design and Optimization of Internet-of-Things Systems

This course provides a complete overview of the most relevant subfields related to Internet of Things (IoT) systems, it presents the perspectives and the underlying technologies, with a particular focus on edge AI architectures and software (AI and TinyML ...

EE-580: Introduction to the design of space mechanisms

Space environment is different from what we can experience on Earth, requiring specific design approaches in order to achieve reliable operations. Engineers must hence face new challenges stimulating their creativity to tackle those particular constraints. ...

MICRO-373: Advanced microfabrication practicals

This TP allows for in-depth training on advanced micro and nanofabrication methods in a clean-room environment for selected applications, gain deeper knowledge in MEMS/NEMS processes, work in a small group together with PhD students/postdocs during 14 week ...

MSE-424: Fracture of materials

This course covers elementary fracture mechanics and its application to the fracture of engineering materials. ...

AR-301(n): Studio BA5 (Lapierre)

Des communautés shakers aux USA à la question du logement à Bâle, le semestre interroge l'habitat comme lieu intime et collectif, en explorant la transformation des espaces de travail en nouveaux lieux de partage. ...

AR-302(ad): Studio BA6 (Delhay)

La ville comme une maison - La petite maison associative. Voyage d'étude - Paris ...

MATH-665: Functional Data Analysis

A rigorous introduction to the statistical analysis of random functions and associated random operators. Viewing random functions either as random Hilbert vectors or as stochastic processes, we will see the interplay between nonparametrics and multivariate ...

CS-432: Computational motor control

The course gives (1) a review of different types of numerical models of control of locomotion and movement in animals, from fish to humans, (2) a presentation of different techniques for designing models, and (3) an analysis of the use and testing of those ...

CS-510: Topics in software security

Memory corruption and type safety flaws dominate the threat landscape. We will approach current research from three dimensions: sanitization (finding flaws through runtime monitors); fuzzing (testing software automatically); and mitigation (protecting soft ...