Software Language Engineering

Benoit Combemale (Univ. Toulouse & Inria) Description Software engineering faces new challenges with the advent of modern software-intensive systems such as complex critical embedded systems, cyber-physical systems and Internet of things.

Software Validation and Verification

Lectures (videos in french, slides in english) Software Validation & Verification: a gentle introduction Software testing at glance Static analysis Dynamic testing Integration testing Test qualification and main criteria Mutation testing Test automation Software testing: looking ahead A textbook (by Oscar Luis Vera-Pérez) complements the lectures.