UC Institute for Software Research

Home  |   People  |   Research  |   Publications  |   Tech Transition  |   Events  |   Partnerships  |   About ISR  |   Contact Us

2013 Distinguished Speaker Series

Lionel Briand

Lionel Briand

Professor and FNR PEARL Chair, Interdisciplinary Centre for ICT Security, Reliability and Trust (SnT)
University of Luxembourg



Scalable and Cost-Effective Model-Based Software Verification and Testing

(slides-PDF, MP4 video)

May 17, 2013


3:00 - 4:30 pm

Faculty Host: Prof. Andre van der Hoek


RSVP: Email RSVP required to isr@uci.edu by Monday May 13.

Location: Donald Bren Hall (building #314), room 6011

Cost: No cost to attend.

Directions and parking information
are available.


Abstract: Automating software verification and testing is a necessity for complex, time-constrained, and high-dependability software systems. Over the last decade, there have been many research efforts whose goal is to automate the software verification and testing process based on models of the system under test or its environment. Little of this research has made it to practice except for a few, well-publicised but limited cases.


In this talk, I will describe various attempts to make model-based testing and verification more scalable and practical, reflecting on ten years of collaborative research with the industry in various application domains. I will argue that coping with the scale and complexity of real systems often requires dramatically different approaches than what is commonly reported in the academic literature, showing once again the pervasive gap that exists between software research and practice. Among other things, I will illustrate how dedicated modelling, accounting for the specifics of the domain and the modelling objectives, combined with sophisticated search techniques, can help achieve scalability and practicality in a variety of contexts.


About the Speaker: Lionel C. Briand is professor and FNR PEARL chair in software verification and validation at the SnT centre for Security, Reliability, and Trust, University of Luxembourg. Lionel started his career as a software engineer in France (CS Communications & Systems) and has conducted applied research in collaboration with industry for more than 20 years.


Until moving to Luxembourg in January 2012, he founded and was heading the Certus center for software verification and validation at Simula Research Laboratory, where he was leading applied research projects in collaboration with industrial partners. Before that, he was on the faculty of the department of Systems and Computer Engineering, Carleton University, Ottawa, Canada, where he was full professor and held the Canada Research Chair (Tier I) in Software Quality Engineering. He has also been the software quality engineering department head at the Fraunhofer Institute for Experimental Software Engineering, Germany, and worked as a research scientist for the Software Engineering Laboratory, a consortium of the NASA Goddard Space Flight Center, CSC, and the University of Maryland, USA.


Lionel has been on the program, steering, or organization committees of many international, IEEE and ACM conferences. He is the coeditor-in-chief of Empirical Software Engineering (Springer) and is a member of the editorial boards of Systems and Software Modeling (Springer) and Software Testing, Verification, and Reliability (Wiley). He was on the board of IEEE Transactions on Software Engineering from 2000 to 2004.

Lionel was elevated to the grade of IEEE Fellow for his work on the testing of object-oriented systems. He was recently granted the IEEE Computer Society Harlan Mills award for his work on model-based verification and testing. His research interests include: model-driven development, testing and verification, search-based software engineering, and empirical software engineering.