You are here

Past Seminars

30/10/2014 - 16:00
This seminar is about the paper:
"FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps"
Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau and Patrick McDaniel
Presented at PLDI14
 
Abstract
23/10/2014 - 16:00

I will present the work: "Modelling Business and Software Ecosystems”, by Xavier Franch, Angelo Susi, Eric S.K. Yu.

16/10/2014 - 16:00
This seminar is about the paper:
Hai-Feng Guo, and  Zongyan Qiu, "A dynamic stochastic model for automatic grammar-based test generation", Journal of Software: Practice and Experience, June 2014 (early view).
Abstract:
25/09/2014 - 16:00

Paolo Tonella, Roberto Tiella, Cu Duy Nguyen, "Interpolated N-Grams for Model Based Testing" [ICSE 2014]

Abstract

Models – in particular finite state machine models – provide an invaluable source of information for the derivation of effective test cases. However, models usually approximate part of the program semantics and capture only some of the relevant dependencies and constraints. As a consequence, some of the test cases that are derived from models are infeasible.

18/09/2014 - 16:00

The seminar is about the following paper:

"Coverage is not strongly correlated with test suite effectiveness" by Laura Inozemtseva and Reid Holmes [ICSE'14]

10/04/2014 - 16:00

On: "Data-intensive applications, challenges, techniques and technologies: A survey on Big Data" by C.L. Philip Chen  and Chun-Yang Zhang; Information Sciences, 2014.

13/03/2014 - 16:00

Abstract: Expert finding aims at identifying knowledgeable people to help in decision processes, such as eliciting or analysing requirements in Requirements Engineering. Complementary approaches exist to tackle specific contexts like in forum-based communities, exploiting personal contributions, or in structured organisations like companies, where the social relationships between employees help to identify experts.

Pages