You are here

Past Seminars

19/02/2015 - 16:00
This seminar is about the paper:
"Generating hard satisfiability problems" by Bart Selman, David G. Mitchellb, Hector J. Levesqueb.
12/02/2015 - 16:00

I will present the paper:

05/02/2015 - 16:00

Oracles are key artifacts that determine the effectiveness of test cases in revealing faults in the software. I will present techniques that address the problem of (1) assessing the quality of oracles through metrics; (2) improving the quality of oracles by detecting brittle assertions and unused inputs. The presentation is based on the following two papers:

29/01/2015 - 16:00
22/01/2015 - 16:00


Test data generation has been extensively investigated as a search problem, where the search goal is to maximize the number of covered program elements (e.g., branches). Recently, the whole suite approach, which combines the fitness functions of single branches into an aggregate, test suite-level fitness, has been demonstrated to be superior to the traditional single-target at a time approach.

18/12/2014 - 16:00

I will present the paper:

NLP-KAOS for Systems Goal Elicitation: Smart Metering System Case Study, by E. Casagrande, S. Woldeamlak, Wei Lee Woon, H. H. Zeineldin, D. Svetinovic. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 40, NO. 10, OCTOBER 2014.

04/12/2014 - 16:00

"The Value of Uncertainty and Risk in Software Requirements", from an invited lecture (Louvain, 2013) and an ICSE paper (Hyderabad, 2014) by Emmanuel Letier, David Stefan, and Earl T. Barr.

27/11/2014 - 16:00

I will show the current status of the RISCOSS project after 2 year of work; I will focus in particular on the implementation work done, showing the actual models that have been developed and how they are used by the inference system, and presenting the platform and its functionalities.

20/11/2014 - 16:00

I will present the paper: Alessandra Gorla, Ilaria Tavecchia, Florian Gross, and Andreas Zeller. "Checking App Behavior Against App Descriptions" Proceedings of the 36th International Conference on Software Engineering (ICSE 2014). Pages 1025-1035. ACM New York, NY, USA.

13/11/2014 - 16:00
I will report the experience of working with geographically-distributed heterogeneous people. The objective of this work was the collection of e-mail discussions annotated with intentions.