A comprehensive framework to automating testing of events in Android applications.
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.
Adaptation and reuse of existing mobile applications to take advantage of the hardware backed protection
Solving the problems of vulnerability detection and reproducing crashes in real-world application binaries using symbolic execution and binary analysis
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)