You are here

Past Seminars

18/02/2016 - 16:00

Abstract: The oracle improvement process aims at reducing the false alarms and the missed program faults associated with the program oracle used during testing. In this talk, I will analyse the oracle improvement process from a theoretical view point, based on notions borrowed from the field of information theory. 

11/02/2016 - 16:00

The talk is based on the paper:

04/02/2016 - 16:00

Abstract: Automated test case generation has come a long way and is currently able to generate test cases with high structural coverage. However, the readability and understandability of automatically generated test cases has yet to improve. In this talk I will summarize two recent research works directed towards improving the understandability of test cases so that they become easier to maintain and more helpful in finding bugs.
The talk is based on the following papers:

27/01/2016 - 16:00


I update my mobile phone applications (apps for short), why my cell phone battery is already low? How does it happen that I already used almost all the data of my monthly phone plan? Is it worth buying the app, or should I continue using the free version? Should I trust an app that often tracks my location?

03/12/2015 - 16:00
In this seminar I will present the paper: "Towards bridging the gap between Dalvik bytecode and native code during static analysis of Android applications", by P. Lantz and B. Johansson.
26/11/2015 - 16:00

Abstract: We introduce a foundational theory, and a practical technique for assessing and improving test oracles by reducing the incidence of both false positives and false negatives. Our technique combines test case generation to reveal false positives and mutation testing to reveal false negatives. We applied the decision support tool that implements our oracle improvement technique to five real-world subjects. The experimental results show that the fault detection rate of the improved oracles increases, on average, by 52% (92% over the implicit oracle).

18/11/2015 - 16:00

In this seminar, I will first introduce the model-view-controller (MVC) design pattern and the way it is used in JavaScript Web applications. Specifically, I will consider the way AngularJS supports the MVC pattern. Then, I will present a classification of possible inconsistencies across the MVC layers and a recent work aimed at detecting such inconsistencies automatically.

10/11/2015 - 16:00

This seminar is about the paper: "Learning Natural Coding Conventions" Allamanis M. et al. FSE ’14.