• João Pascoal Faria, Assistant Professor at FEUP and researcher at INESC TEC (project leader)
    Fotografia de João Carlos Pascoal Faria
  • Ana Cristina Paiva, Assistant Professor at FEUP and researcher at INESC TEC
    Fotografia de Ana Cristina Ramada Paiva
  • Mário Jorge Ventura de Castro, former Master Student, February 2012 – February 2013, with a research grant from INESC TEC

    The work of Mário Castro was part-funded by the ERDF – European Regional Development Fund through the COMPETE Program (operational program for compet-itiveness) and by National Funds through the FCT – Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project «FCOMP – 01-0124-FEDER-022701».
  • Zuhanli Yang, former IAESTE intern at INESC TEC, September-December 2011, from the Ningbo University of Technology, China
    he worked on the tool that checks the completeness and consistency of behavioral models (sequence diagrams) with respect to the structural model (class diagrams)
  • Tamara Krasnova, IAESTE intern at INESC TEC, September-November 2013, from the Saint-Petersburg State Polytechnical University, Russia
    he worked on the support for keyword-driven modeling and testing of Graphical User Interfaces.