Automated Validation of Large-scale Software Systems
Abstract:
This talk will present an overview of our research on automated software validation (SV), especially 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 conclude with an outline of our ongoing work on building intelligent (or data-centric) SV methods, human-in-the-loop SV methods, and SV methods for interdisciplinary software systems.
Biodata:
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.