COMPUTER SCIENCE RESEARCH WEEK 2019

Applications of Artificial Intelligence to the Automated Software Testing of Cyber-Physical Systems

Speaker
Dr Lionel Briand, Professor, University of Luxembourg
Contact Person
Dr Reza SHOKRI, Associate Professor, School of Computing
reza@comp.nus.edu.sg

08 Jan 2019 Tuesday, 03:00 PM to 04:30 PM

SR1, COM1-02-06

This is a distinguished talk as part of the NUS Computer Science Research Week 2019 (http://researchweek.comp.nus.edu.sg).

Abstract:

Enabling Automated Software Testing in Cyber-Physical Systems with Artificial Intelligence. Testing is the main mechanism used in industry to assess and improve the dependability of software systems. To be scalable to the increasingly complex systems that are being developed in many application domains, testing must be automated. However, in many contexts such as cyber-physical systems, this is challenging and various techniques from Artificial Intelligence, e.g., machine learning and evolutionary computing, have come to the rescue and have recently shown to alleviate problems that had been thought to be intractable. This talk will cover recent examples of research projects done in collaboration with industry in cyber-physical domains. Lessons learned and future research directions will then be discussed.

The talk starts with a tutorial on the preliminaries and the theoretical foundations of this topic.


Biodata:

Lionel C. Briand is a professor in software verification and validation at the SnT centre for Security, Reliability, and Trust, University of Luxembourg, where he is also the vice-director of the centre. He is currently running multiple collaborative research projects with companies in the automotive, satellite, financial, and legal domains. Lionel has held various engineering, academic, and leading positions in five other countries before that. He was one of the founders of the ICST conference (IEEE Int. Conf. on Software Testing, Verification, and Validation, a CORE A event) and its first general chair. He was also the EiC of Empirical Software Engineering (Springer) for 13 years and led the journal to the top tier of the very best publication venues in software engineering.

Lionel was elevated to the grade of IEEE Fellow in 2010 for his work on the testing of object-oriented systems. He was granted the IEEE Computer Society Harlan Mills award and the IEEE Reliability Society engineer-of-the year award for his work on model-based verification and testing, respectively in 2012 and 2013. He received an ERC Advanced grant in 2016 - on the topic of modelling and testing cyber-physical systems - which is the most prestigious individual research grant in the uropean Union. His research interests include: software testing and verification, model-driven software development, search-based software engineering, and empirical software engineering.