Current Projects

2018 - : Automated Accessibility Testing of Mobile Apps (to be submitted)


Past Projects

2015-2017: Supporting formal and automated testing of mobile applications
Coordinator: André Takeshi Endo
Participants:  Marcelo Medeiros Eler (USP), Vinícius Durelli (University of Groningen) e André Domingues (UTFPR)
Sponsor: CNPQ

2014-2016: Automatic test data generation to cover exception-dependent paths using symbolic execution
Coordinator: Marcelo Medeiros Eler
Participants: André Takeshi Endo (UTFPR) e Vinícius Durelli (University of Groningen)
Sponsor: FAPESP

2014-2016: A Security and Privacy Model for M-Services in Toy Computing.
Coordinators: Marcelo Fantinato (USP) and Patrick Hung (University of Ontario)
Participants:  Marcelo Medeiros Eler (USP), Sarajane Marques Peres (USP).
Sponsor: CAPES
2009-2012: Structural Testing and Monitoring of Service-Oriented Systems
Coordinators: Prof. Dr. Paulo Cesar Masiero
Participants:  Marcelo Medeiros Eler.
Sponsor: FAPESP

2010-2011: CHOReOS: Large Scale Choreographies of the Future Internet.
Coordinators: Thales Communications S.A.
Participants:  European and Brazilian Universities and Companies.
Sponsor: CHOReOS consortium (Europe)

2008-2009: Quality Plataform for Open Source Software (Qualipso).
Coordinators: Ingegneria Informatica SPA.
Participants: European, Brazilian and Chinese Universities and Companies.
Sponsor: European Commission

2004-2006: A Method to Develop Software Based on Components and Aspects.
Coordinator: Prof. Dr. Paulo Cesar Masiero.
Participant: Marcelo Medeiros Eler.
Sponsor: CNPq