You are here

Past Seminars

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

Abstract:

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.

02/11/2015 - 16:00

Abstract: In search based test case generation, most of the research works focus on the single-objective formulation of the test case generation problem. However, there are a wide variety of multi- and many-objective optimization strategies that could offer advantages currently not investigated when addressing the problem of test case generation. Furthermore, existing techniques and available tools mainly handle test generation for programs with primitive inputs, such as numeric or string input.

Pages