Invited Lectures

Seminar by Prof. Francisco Chicano from University of Malaga (Spain)

When: July 10th, 2014 from 11am to 12am

Where: M-2004 at the École Polytechnique (2nd floor of Pavillon Lassonde/Mackay, see

Talk Title: On the application of SAT solvers for Search Based Software Testing


Software Testing is an important and time-consuming task in the Software Development Lifecycle whose goal is to detect faults in the software product or certify that it fulfills the specification with a high confidence. A software fault discovered after the product have been released entails great economic losses for a software company. For this reason Industry, and also Academia, are interested in automatic tools that assist software testers in their task, saving time and resources at the same time that the quality of the product increases. Many of the problems that arise in Software Testing can be formulated as optimization problems that can be solved using search techniques. This domain of research is called Search Based Software Testing (SBST). In this talk the speaker will present some recent research in this domain. In particular, he will focus on the application of SAT solvers to the test suite minimization problem and the testing of software product lines.


Francisco Chicano is a PhD assistant professor in the NEO-GISUM Group in the Department of Languages and Computing Sciences of the University of Malaga, Spain. His research interests include the application of randomized search techniques to Software Engineering problems. In particular, he contributed to the domains of software testing, model checking and software project scheduling. He is the author of more than 70 refereed publications, has 3 best paper awards, has served in more than 20 program committees and is frequent reviewer in more than 30 international journals.

Marios-Eleftherios Fokaefs

When: 20-02-2014 — 10:00 am

Where: Room B-403 of the main pavilion, 4th floor Map: Building 1 on

Talk Title: WSDarwin: A Framework for the Support of Web-Service System Evolution


Service-oriented architectures have risen to be the prominent paradigm for developing distributed software systems.
However, this exact distributed nature poses some unprecedented challenges to service providers, when they evolve said services. Software evolution may be constrained not only by the technical
properties of the architecture, but also by business and economic factors that shape the software ecosystem. In this presentation, I am shedding light to some of the less visible constraints and I am
discussing our own solution, the WSDarwin toolkit, which supports the decision making process of the service providers.


Marios Fokaefs is a PhD Candidate in the Department of Computing Science at the University of Alberta, Canada. He received his MSc from the same department and his BSc from the Department of Applied Informatics at the University of Macedonia, Greece. His research interests revolve around design and evolution of object-oriented and service-oriented software systems. More
specifically, he has worked on projects on software refactoring, detection of code smells, comparison of programming interfaces, automatic adaptation of software to changes and interoperability of client applications in distributed software systems. In the context
of his PhD, he is also considering the business and economic dimensions of software evolution, using such concepts as Game Theory and Constrained Optimizations.

Prof Massimiliano Di Penta – University of Sannio, Italy

When: August 8, 2013

Where: L4812

Talk Title: Detecting Bad Smells in Source Code Using Change History Information


Code smells represent symptoms of poor implementation choices. Previous studies found that these smells make source code more difficult to maintain, possibly also increasing its fault-proneness. There are plethora of approaches that identify smells based on code analysis techniques. However, we observe that many code smells are intrinsically characterized by how code elements change over time. Thus, relying solely on structural information may not be sufficient to detect all the smells accurately.

We propose an approach to detect five different code smells, namely Divergent Change, Shotgun Surgery, Parallel Inheritance, Blob, and Feature Envy, by exploiting change history information mined from versioning systems. The approach, coined as HIST (Historical Information for Smell deTection), has been applied on eight software projects written in Java, and wherever possible
compared with existing state-of-the-art smell detectors based on source code analysis. The results indicate that HIST’s precision ranges between 61% and 80%, and its recall ranges between 61% and 100%. More importantly, the results confirm that HIST is able to identify code smells that cannot be identified through approaches solely based on code analysis.

Prof Arnaud Blouin – IRISA, France

When: May 27, 2013

Where: L4812

Talk Title: Towards exploring and exploiting interactive system diversity


The diversification of devices, input devices, and usages is
continuously growing since the last decade. A same interactive system
has now to run on several heterogeneous platforms and needs to adapt
itself to current users and environments. Furthermore, while designers
usually sketch one or several GUIs, a myriad of GUIs may now exist
remaining unexplored.
In this talk I will present my ongoing and future research work on
exploring and exploiting interactive system diversity, from a software
engineering point of view: exploiting at design time and runtime the
increasingly number of devices, input devices, and usages to build
adaptive interactive systems; exploring at design time and runtime the
solution space of existing user interactions / interfaces to discover
alternatives; understanding and testing interactive system diversity.
This work relies on research in model-driven engineering, such as model
slicing, I will introduce as well.