You are here

Past Seminars

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.

09/11/2017 - 16:00

Program understanding is a major obstacle during program maintenance. In an object-oriented language, understanding an operation requires understanding its type and its effect on the object network. The effect is particularly important for scripting languages where there is neither class structure that restricts the shape of an object nor any other kind of access control.

26/10/2017 - 16:00

Short Description:
Empirical studies, often in the form of controlled experiments, have been widely adopted in software engineering research as a way to evaluate the merits of new software engineering approaches. However, controlled experiments involving human participants are still rare, and when they are conducted, some have serious validity issues. In this seminar I am going to talk about two concerns in empirical studies with humans (based on papers below):

13/10/2017 - 11:30

I will present our RE@Next ’17 paper, by Itzel Morales-Ramirez (INFOTEC), Denisse Munante (FBK), Fitsum Kifetew (FBK), Anna Perini (FBK), Angelo Susi (FBK) and Alberto Siena (Delta Informatica).

05/10/2017 - 16:00

The seminar is based on the paper:

Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor: Making Smart Contracts Smarter. ACM Conference on Computer and Communications Security (CCS) 2016: 254-269.

20/09/2017 - 17:00

On "Mining Input Grammars from Dynamic Taints" M. Hoeschele and A. Zeller, ASE 2016.

Abstract (of the paper):

14/09/2017 - 16:00

Abstract: I will present the paper:

Joshua Garcia, Mahmoud Hammad, Negar Ghorbani, and Sam Malek. 2017. Automatic generation of inter-component communication exploits for Android applications. ESEC/FSE 2017. Pages 661-671.

25/05/2017 - 16:00

Abstract: When testing software, developers can place oracles externally or internally to a method. Given a faulty execution state, i.e., one that differs from the expected one, an oracle might be unable to expose the fault if it is placed at a program point with no access to the incorrect program state or where the program state is no longer corrupted. In such a case, the oracle is subject to failed error propagation. Internal oracles are in principle less subject to failed error propagation than external oracles. However, they are also more difficult to define manually.