You are here

Past Seminars

14/03/2018 - 16:00

Based on: “LoCo CoCo: Automatically constructing coordination and communication networks from model-based systems engineering data.” Information & Software Technology 92: 179-193 (2017), by Mazen Mohamad, Grischa Liebel, Eric Knauss

Context: Communication and coordination are essential ingredients to successful requirements and software engineering. However, especially in large organisations, it is difficult to establish and maintain communication channels.

08/02/2018 - 16:00
Böttinger, Konstantin, Patrice Godefroid, and Rishabh Singh. "Deep Reinforcement Fuzzing." arXiv preprint arXiv:1801.04589 (2018).
25/01/2018 - 16:00
Vitalii Avdiienko, Konstantin Kuznetsov, Alessandra Gorla, Andreas Zeller, Steven Arzt, Siegfried Rasthofer, and Eric Bodden. 2015. Mining apps for abnormal usage of sensitive data. In Proceedings of the 37th International Conference on Software Engineering - Volume 1 (ICSE '15), Vol. 1. IEEE Press, Piscataway, NJ, USA, 426-436.
14/12/2017 - 16:00

Title: Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain
Authors: Benedetta Rosadini, Alessio Ferrari, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, and Stefano Bacherini 

Presented in REFSQ 2017


30/11/2017 - 16:00
Venue: Transactions on Software Engineering
AuthorsWilliam Martin, Federica Sarro, Yue Jia, Yuanyuan Zhang, and Mark Harman
23/11/2017 - 16:00

Title: SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines
Venue: Software & Systems Modeling (SoSyM) Journal
Authors: Jianmei Guo, Jia Hui Liang, Kai Shi, Dingyu Yang, Jingsong Zhang, Krzysztof Czarnecki, Vijay Ganesh, Huiqun Yu

14/11/2017 - 16:30

Abstract: A known problem of traditional coverage metrics is that they do not assess oracle quality—that is, whether
the computation result is actually checked against expectations. In this paper, we introduce the concept of
checked coverage—the dynamic slice of covered statements that actually influence an oracle. Our
experiments on seven open-source projects show that checked coverage is a sure indicator for oracle quality
and even more sensitive than mutation testing.