Lifecycle and Event-Based Testing for Android Applications
A comprehensive framework to automating testing of events in Android applications.
Research
My research is an interplay between understanding software and using this understanding to impact software processes, software artifacts, and, ultimately, software quality. In particular, in my PhD research I harnessed the knowledge about software systems incorporated in existing test cases to drive the automatic generation of new complex test cases at a low cost. In my post-doctoral research I employ program analysis to gain insights into program properties to drive software testing for complex real-world program binaries and mobile applications, and to develop systems with high quality and security guarantees.
Recent work
Automated Partitioning of Android Applications for Trusted Execution Environments
Adaptation and reuse of existing mobile applications to take advantage of the hardware backed protection
Hercules: Reproducing Crashes in Real-World Application Binaries
Solving the problems of vulnerability detection and reproducing crashes in real-world application binaries using symbolic execution and binary analysis
Automatically Generating Complex Test Cases from Simple Ones
My PhD thesis at the University of Lugano, Switzerland
“Nothing in life is to be feared, it is only to be understood. Now is the time to understand more, so that we may fear less.”
Madame Marie Curie (1867-1934)