Automated Validation of Large-scale Software Systems
Speaker (s):
Ezekiel Soremekun
Research Scientist
University of Luxembourg
|
|
Date:
Time:
Venue:
|
|
30 November 2022, Wednesday
10:00am – 11:00am
Meeting Room 4.4, Level 4
School of Computing & Information Systems 1
Singapore Management University
80 Stamford Road Singapore 178902
We look forward to seeing you at this research seminar.
|
|
About the Talk
This talk will present an overview of our research on automated software validation (SV), i.e., methods/tools to support developers during software testing and debugging activities. The talk will present our application of input grammars for testing (a) the correctness of traditional software systems (e.g., compilers/interpreters like Mozilla Rhino and Google's Closure) and (b) the fairness properties of Machine Learning based systems (e.g., NLP systems like Google BERT, StanfordNLP and AllenNLP). Finally, the talk will outline our ongoing work on building intelligent (or data-centric) SV methods, human-in-the-loop SV methods, and SV methods for interdisciplinary software systems.
About the Speaker
Ezekiel Soremekun is a Research Scientist at the SerVal Group (led by Prof. Dr. Yves Le Traon), SnT – Interdisciplinary Centre for Security, Reliability and Trust, at the University of Luxembourg, Luxembourg. He is also an incoming faculty (Lecturer/Asst. Professor of Software Engineering) at the Computer Science Department of Royal Holloway, University of London (RHUL), UK. He was previously a researcher (PhD candidate) at the Software Engineering Research Group (of Prof. Dr. Andreas Zeller at CISPA Helmholtz Center for Information Security and Saarland University. He was also a visiting researcher at the Automated Systems SEcuriTy (ASSET) Research Group (of Prof. Dr. Sudipta Chattopadhyay) at SUTD – Singapore University of Technology and Design.
Ezekiel’s research is primarily focused on software validation including automated debugging, software testing, program analysis, and security testing. He is interested in studying both functional properties (e.g., correctness) and non-functional properties (e.g., security, robustness, and fairness) of software systems, including artificial intelligence (AI) -driven systems (e.g., automated classifiers).
