Software Verification and Validation Lab
The Software Verification and Validation Lab - SVV - is headed by Professor Lionel Briand. V&V focuses on the development and design of reliable and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities, primarily software testing.
Software is pervasive in all areas of society and industry sectors. Business and safety-critical systems increasingly use software to improve development productivity, enable more sophisticated operations, and provide flexibility in handling evolving needs. To ensure successful operation and to avoid posing undue risks to users or the environment, software must be reliable, robust, efficient, safe, and secure. Despite large investments in the verification and validation (V&V) of software systems, serious software failures are frequently reported, and many more are kept out of the public sight.
The SVV, a component of SnT, aims at performing applied research in close collaboration with industry partners. Indeed, for many software V&V problems, there are no satisfactory, universally applicable solutions. Scientific investigation is therefore required to achieve cost-effective solutions and understand their context of applicability and limitations. However, we believe that research must be conducted with a thorough understanding of problems encountered in practice and must be guided by the experience and insight of practitioners and engineers.
The research group is led by professor Lionel Briand, who has more than 20 years of experience in research and innovation. Over the years, he has worked with more than 30 industry partners in research projects, across five countries and two continents. Lionel Briand is an IEEE Fellow and has received the prestigious Harlan Mills award from the IEEE Computer Society. His three most recent positions are department head at the Fraunhofer IESE institute, Canada Research Chair (Tier I) on Software Quality Engineering at Carleton University, Ottawa, Canada, and head of the Certus center for Software verification and validation at the Simula Research Laboratory.
The research group is currently supported by the Fonds National de la Recherche (FNR) in Luxembourg. Lionel Briand received a prestigious PEARL grant, amounting to 4.6 Million Euros over 5 years, to establish a laboratory in software V&V. In addition, we are provided with direct financial support from our industry partners and the University of Luxembourg.