Scalable Software Testing and Verification Through Heuristic Search and Optimization: Experiences and Lessons Learned
Decanato - Facoltà di scienze informatiche
Data d'inizio: 29 Aprile 2016
Data di fine: 30 Aprile 2016
|
|||||||||||
|
|||||||||||
Abstract: | |||||||||||
Testing and verification problems in the software industry come in many different forms, due to significant differences across domains and contexts. But one common challenge is scalability, the capacity to test and verify increasingly large, complex systems. |
|||||||||||
|
|||||||||||
Biography: | |||||||||||
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. He also acts as vice-director of the centre. 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 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 Centre, CSC, and the University of Maryland, USA. Lionel was elevated to the grade of IEEE Fellow for his work on the testing of object-oriented systems. Lionel has been on the program, steering, or organization committees of many international, IEEE and ACM conferences. |
|||||||||||
|
|||||||||||
|