You are here
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
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.
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.
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):
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).
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.
On "Mining Input Grammars from Dynamic Taints" M. Hoeschele and A. Zeller, ASE 2016.
Abstract (of the paper):