You are here

Past Seminars

26/05/2016 - 16:00

Abstract: Recent advances in program repair techniques have raised the possibility of patching bugs automatically. Existing methods can be divided into two categories: (1) the generate-and-validate approaches that explicitly iterate through a search space and validate candidate fixes against the given test suite, and (2) the approaches that rely on program analysis and formal methods to synthesize patches. Approaches in the first category gained popularity because of their scalability: they were applied to real-world large-scale software such as PHP and Wireshark.

05/05/2016 - 16:00

"Collaborative Decision-Making in Requirements Management”.

Joint work with: Alberto Siena , Paolo Busetta, Fitsum Meshesha Kifetew, Denisse Munante, Anna Perini.

28/04/2016 - 16:00
AuthorDenisse Muñante, Vanea Chiprianov, Laurent Gallon, Pilippe Aniorte
21/04/2016 - 16:00
07/04/2016 - 16:00

Abstract:

31/03/2016 - 16:00

From a paper by O.Pedreira et al "Gamification in software engineering .– A systematic mapping”  IST Journal 2015.

03/03/2016 - 16:00
This seminar is based on the paper: "StaDynA: Addressing the Problem of Dynamic Code Updates in the Security Analysis of Android Applications" by Yury Zhauniarovich, Maqsood Ahmad, Olga Gadyatskaya, Bruno Crispo, and Fabio Massacci
25/02/2016 - 16:00

On "Graph-based statistical language model for code. Anh Tuan Nguyen and Tien N. Nguyen. (ICSE '15)"

Pages