You are here

Past Seminars

18/05/2017 - 16:00

Abstract: The design of any software system requires that a high percentage of its intended users actually accept to use the system. Fulfillment of such Acceptance Requirements critically depends on psychological, behavioral and social factors which may influence intrinsic and extrinsic motivations. These factors can be identified, designed and fine tuned via gamification (making a game out of system usage), serious games and other techniques.

04/05/2017 - 16:00
Abstract: Previously, I presented a work in progress on permission re-delegation vulnerability detection framework. In this seminar, I will talk about the complete work and results we obtained. Permission re-delegation is a kind of privilege escalation where one software component performs privileged action on behalf of another component that does not hold the required permission. Static analysis is the de facto technique used to identify this kind of vulnerability by extracting execution paths from entry-point to sensitive sinks.
27/04/2017 - 16:00

Abstract[Context/Motivation]: The strategy of an organisation defines its long-term goals and develop plans to achieve these goals. Strategic planning is the activity of deciding how to allocate resources within the organisation to satisfy its strategy. Strategic planning precedes more detailed requirements engineering activities that clarify the requirements for the software systems concerned by the strategic plan.

20/04/2017 - 16:00

Abstract: Test case generation for web applications aims at ensuring full coverage of the navigation structure. Existing approaches resort to crawling and manual/random input generation, with or without a preliminary construction of the navigation model. However, crawlers might be unable to reach some parts of the web application and random input generation might not receive enough guidance to produce the inputs needed to cover a given path.

06/04/2017 - 16:00

I will present the following paper:

30/03/2017 - 16:00
I will present a paper published in the venue SCC (IEEE International Conference on Services Computing) in 2012.
Title: A Metaheuristic Approach for the Configuration of Business Process Families
Authors: Ivana Ognjanovic, Bardia Mohabbati, Dragan Gasevic, Ebrahim Bagheri, Marko Boskovic
02/03/2017 - 16:00

I will present the paper: "How Professional Hackers Understand Protected Code while Performing Attack Tasks" by A. Basile, M. Ceccato, B. Coppens, B. De Sutter, P. Falcarin, P. Tonella and M. Torchiano. 25th IEEE International Conference on Program Comprehension (ICPC 2017).

16/02/2017 - 16:00

I will present the paper: "Learn&Fuzz: Machine Learning for Input Fuzzing" by Patrice Godefroid, et al.