Short Presentation of the
Software Engineering Research Group
Ana Paiva
(group coordinator)
Jornadas dos 20 anos da Engenharia Informática
@ FEUP, 7-8 nov 2014
software engineering research group
MISSION
M1. to develop novel methods, techniques, and tools that advance the
way in which software is designed, synthetized and assessed;
M2. to ensure that our research results have a lasting impact in software
development practice; and
M3. to offer students an education that prepares them to take a leading
role in complex software development projects.
M4. to contribute to improve the competitiveness of the industry
Values: Pragmatism, industry-oriented, high-quality, cost-effective.
1
software engineering research group
PEOPLE
PhD
Members
Ademar
Aguiar
Ana
Paiva
Hugo
Ferreira
Nuno
Flores
Raul
Vidal
Rui
Maranhão
Gil
Gonçalves
João
Cardoso
João
Faria
PhD
Collaborators
Luís
Teixeira
Miguel
Monteiro
2
software engineering research group
PEOPLE
PhD
Students
&
MSc
Students
&
Research
Grantees
Alexandre
Perez
André
Restivo
Inês
Morgado
Isabel
Margarido
Mushtaq
Raza
Nuno
Cardoso
André
Riboira
Artur
Rocha
Jorge
Costa
Jorge
Garcia
Rodrigo
Moreira
Tiago
Boldt
Bruno
Lima
José
Campos
Tiago
Cardoso
Filipe
Correia
Luís
Cruz
(…)
3
software engineering research group
PEOPLE
Past
Students
(PhD, MSc,
Grantees)
Ana Garcia Anabela
Carvalho
João
Batista
Sérgio
Barbosa
José
Barbosa
Tamara
Krasnova
Carlos
Gouveia
Clara
Sarmento
Edgar
Alves
Liliana
Vilela
Luís
Pinho
Miguel
Nabuco
Tânia
Ribeiro
Tiago
Campos
Tiago
Monteiro
João
Alves
Pedro
Machado
(…)
4
software engineering research group
AREAS
SDC - Software Design and
Construction
•  Model-Driven Soft. Eng.
•  SW Patterns and Paradigms
STA – Software Testing and
Analysis
• Software Test Automation
• Autom. Fault Localization
SPKM - Software Processes and Knowledge Management
•  Software Process Improvement
•  Knowledge Management in Software Engineering
5
software engineering research group
SOFTWARE TEST AUTOMATION
Improve testing efficiency and effectiveness
•  Automated model-based user interface testing [AMBER iTest,1PhD,3MSc,2008-11]
•  Automatic test gen. from algebraic specs of generic types [QUEST,2MSc,2010-13]
•  Pattern-based GUI testing + (Rev.Eng) [PBGT, 2PhDs, 3MScs, 2011-2015]
•  UML Checker: A Toolset for Conformance Testing againts UML Sequence
[1PhD, 1MSc, 2010...]
6
software engineering research group
AUTOMATIC FAULT LOCALIZATION
Improve debugging efficiency and effectiveness
•  GZoltar – A Visual Debugger [1PhD,1MSc,2010-..]
•  Architecture-based Run-time Fault Localization [with CMU,2PhD,2011-14]
•  Hierarchical Fault Localization [with USouthAustralia, 2PhD, 2012-15]
•  Automatic Error Detection of Software Failures [1MSc, 2010-..]
•  AutoSeer - Automated Test Oracles for SW Error Detection [FCT, 2012-14]
7
software engineering research group
MODEL-DRIVEN SOFTWARE ENGINEERING
Generative and interpretative approaches for rapid application development and
adaptation with model-driven engineering, ensuring quality by construction.
M2M and M2C
Transformation
Application
Runtime
Interperation
System Model
Adaptive Object-Modelling: Patterns, Tools and Applications [1PhD, 2008-11]
Automatic UI Gen. from Rigorous Domain and Use Case Models [1PhD, 2008-11]
Conference organization: INForum track on MDE [2009,10,11]
8
software engineering research group
SOFTWARE PROCESS IMPROVEMENT
Process engineering and automation for performance improvement
•  AIMS-SaaS Platf. To Support the Accel. Improv. Meth. [+Strongstep+Multicert, 2MSc, 11-14]
•  Framework to Evaluate & Improve the Qual. of Impl. of CMMI Pract.ices [1PhD,+UC+SEI,2010-14]
•  Automated Perform. Analysis & Improvement Recommendation [+SEI,1MSc, 1PhD, 2011-15]
•  Conference organization: Agile Portugal 2010-11-12, QUATIC 2010, SEPG Europe 2010
•  Spinoff: Strongstep (2009)
9
software engineering research group
KNOWLEDGE MANAGEMENT IN SOFTWARE ENGINEERING
Improving the effectiveness of software knowledge capture and sharing
Collaborative Framework Understanding [1PhD, -2012]
Software-forge based Adaptive Software Artifacts [1PhD, -2013]
Spinoff: Tecla Colorida
Conferences: Wikis for Software Engineering
10
software engineering research group
ASSOCIATIONS & PARTNERS
Participation in associations
•  Hillside Group (Board, VP)
•  PSTQB (Board, VP, Headquarters)
•  CS03/IPQ (Board, VP)
Partners:
•  CMU/SEI, UCM, TU Delft
•  INESC TEC
•  UC, UL, UM
•  INOVA RIA, IPN, iTSMF, APDSI
•  Strongstep, Multicert, Critical
Software, Ambisig, iTGrow,
Wintrust
11
software engineering research group
CONFERENCE ORGANIZATION
Porto, Portugal
Guimarães, Portugal
SEDES
and
Business
Day
Lincoln, Nebraska, USA
(…)
We intend to apply for the organization of other conferences in Porto
12
software engineering research group
SPIN-OFFS
Social and collaborative
platform for elementary
schools
software process improvement
services
13
software engineering research group
INOVATION CENTER
Center dedicated to innovation in Software Quality by
providing
•  consultancy,
•  training,
•  certification,
•  research and
•  innovation
14
software engineering research group
CONSULTING PROJECTS
AMBISIG - Desenvolvimento e implementação de cursos de formação TIC
internacionalmente reconhecidos no Instituto Industrial e de
Computação Armando Emílio Guebuza em Beluluane, 2014-15
Movercado – social marketing platform, Client: PSI Mozambique, Funding:
Netherlands Embassy in Mz, 2013
Siptest – Test process improvement, Client: Link, Funding: QREN
(subcontrating), 2012-13
SageSnatch – Software auditing, Client: Sage, 2011
SageSearch – Software process improvement in the areas of project
management, requirements management and test management (used
Scrum and Microsoft TFS), Client: Sage, Funding: QREN (subcontrating),
2010-11
WebReports – Development of report generation wizards for the SagaWeb
RAD tool (used Birt), Client: Medidata, Funding: QREN (subcontrating),
2009-11
SagaWeb – Migration of a RAD tool (SagaWin) to the Web environment
(ASP.Net+Ajax), Client: Medidata, 2007-09
15
software engineering research group
Website
http://softeng.fe.up.pt/SERGUP/
16