Lab Lunch: 1 October 2019 - Ajitha Rajan

Title: Overview of Research in the Software Testing Group

Abstract:

In this talk, I will present an overview of the current research in my group that focuses on automation and optimisation of different aspects of software testing -- test generation, test execution, and test oracles -- applied to blockchain systems, GPU kernels and Finite State Machines.