Software Testing and Analysis
- AutoSeer – Automated Oracles for Error Detection in Software; funding FCT; partners FEUP (coordinator), UM and Critical Software; 2012-2015
- GZoltar – Automatic Testing & Debugging using Spectrum-based Fault Localization (SFL) for Eclipse™ (research line)
- PBGT – Pattern Based GUI Testing; funding FCT; partners FEUP (coordinator), UM and Wintrust; 2012-2015
- Specification and Testing of a Security Critical System (under contract), 2014-2015
- TC:Small: Architecture-based Run-time Fault Diagnosis; funding NSF; partners FEUP and CMU; 2011-2014
- UML Checker – A Toolset for Conformance Testing against UML Sequence Diagrams (research line), 2011-
Software Design and Construction
- AAL4ALL – Ambient Assisted Living for All; funding QREN; partners; INESC Porto, FEUP, several; 2011-1015
- BESTCASE-RL8-REALTIME – Languages and tools for critical real time system; funding: Programa Operacional Regional do Norte (ON.2); 2013-15
- BESTCASE-RL1-SIBILA – Towards Smart Interacting Blocks that Improve Learned Advice; funding: Programa Operacional Regional do Norte (ON.2); 2013-15
- Movercado– Social Marketing Platform: client: PSI Mozambique; 2012-14
- OFP – Object-Functional Patterns (PhD Work)
Software Process Engineering and Kowledge Management
- AIMS – Accelerated Improvement Method Support; funding QREN; partners Strongstep (coordinator), FEUP, Multicert; 2011-2014
- QI-CMMI – A Framework to Evaluate and Improve the Quality of Implementation of the CMMI Practices (PhD Work)
- ProcessPAIR – Automated Software Process Performance Analysis and Improvement Recommendation (PhD Work); funding: FCT PhD grant; 2012-2016
- Software-forge based Adaptive Software Artifacts (PhD Work)
Other
Past
- AMBER iTest – An automated model-based user interface testing environment, funding FCT, with Critical Software, 2008-2011
- ACTOR – Apostar na Certificação das empresas TICE Organizadas em Rede; funding QREN; 2011-2013
- ENSURE – Enabling kNowledge Sustainability Usability and Recovery for Economic value; funding EU; 2011-2014
- Escolinhas Criativas, funding QREN, 2011.01-2013.07
- Generic Roles: Reducing Code Replication (PhD Work)
- GIS GLOBAL – Modernização das aplicações GIS – Gestão Integrada de Seguros, funding QREN (subcontracting); 2013; customer: i2S
- Palco3.0 – Sistema WEB inteligente de apoio à gestão de uma rede social na área da música, funding QREN, 2008-2011
- QUEST – A Quest for the Reliability of Generic Software Components, funding FCT; UL (coordinator) and FEUP, 2010-2013
- REVVIS – Reunião de Especialistas em Verificação e Validação de Software, funding CYTED, 2007-2010
- SAGAweb & WebReports – Technological evolution of the SAGA tool (25 years 1989-2014); 2007-2010
- SIPTEST: Melhoria dos processos de teste e validação de qualidade de sotware; funding QREN (subcontracting); 2012-14 customer Link Consulting
- SSaaPP – SpreadSheets as a Programming Paradigm; funding FCT; 2010-2013
- TOCE – Teste de Ambientes de Colaboração Online; funding CRUP; 2011-2013