2026 – 2027 Research Projects
Multiple projects on aspects of Software Verification and Validation
Project: Multiple projects on aspects of Software Verification and Validation
Supervisor: Yvan Labiche
Website: /squall/
Student Category: UG / MASc / M.Eng. / Ph.D.
Project Description: The Software Quality Engineering laboratory studies various problems in the field of software verification and validation with the aim to provide sufficient empirical information so that engineers can make informed decisions to use such or such software testing technique. Application domains vary greatly with past work in aerospace, medical imaging, telecommunication, and finance. Problems include the semi-automated construction of tests from plain language specifications, solving the oracle problem (how do we know the outcome of a test execution is what we expect), optimizing software testing from finite state machines and extended finite state machines, and studying the impact of structural coverage principles. Solutions rely on proven, theoretical techniques borrowed from computer science and applied mathematics as well as heuristics, meta-heuristics, machine learning, and AI.
Pre-requisite: Successful students tend to have background in software engineering, computer science, or computer engineering.