Emanuela Cartaxo

Emanuela Cartaxo Email and Phone Number

finstein.de @ Finstein GmbH
Emanuela Cartaxo's Location
Greater Hamburg Area, Germany
Emanuela Cartaxo's Contact Details

Emanuela Cartaxo personal email

About Emanuela Cartaxo

Since 2004, I have been worked with software testing with the main focus on Model-Based Testing (MBT). Since the same year, I have taught different courses for undergraduate students, including Software Testing as well. During my master and doctoral studies, I had the opportunity to be in contact with the industry while working for Motorola, so I could observe real problems, propose and validate the solutions. I spent eight months during my doctoral studies in Pisa (Italy) in the software engineering group of the Italian National Research Council (CNR). I got my Doctor title in 2011, for this I proposed a Strategy for Test Case Selection based on a Similarity function. Since 2011, I am affiliated to the Computer Science Graduation Program at Federal University of Campina Grande (Brazil), where currently I am co-supervising 2 doctoral students whose focus is on strategies for controlling the test suite size. Recently, I did a post-doctoral research at Fraunhofer IESE, in the Department of Embedded Systems Quality Assurance where the focus was on Model Based Test technologies for embedded software systems. I have proposed an approach for validating Simulink Models.

Emanuela Cartaxo's Current Company Details
Finstein GmbH

Finstein Gmbh

View
finstein.de
Emanuela Cartaxo Work Experience Details
  • Finstein Gmbh
    Cto
    Finstein Gmbh Jul 2019 - Present
    Hamburg, Germany
  • Federal University Of Campina Grande
    Researcher
    Federal University Of Campina Grande Aug 2011 - Dec 2018
    Campina Grande Area, Brazil
     Provide academic guidance to master and doctoral students. Identify new challenges and weaknesses in their works, ways to solve the problems keeping the focus (bounding the scope)  Review/Write scientific reports
  • Federal University Of Campina Grande
    Post-Doctoral Researcher
    Federal University Of Campina Grande Mar 2011 - Jun 2012
    Investigate strategies for test suite reduction and test case prioritization
  • Fraunhofer Iese (Institute For Experimental Software Engineering)
    Post-Doctoral Researcher
    Fraunhofer Iese (Institute For Experimental Software Engineering) Nov 2012 - Aug 2013
    Kaiserslautern
    During this work, I have proposed an approach for validating Simulink Models. That approach has as input Sequence Based Specification (SBS). Test cases are generated from SBS. The Simulink model can be automatically validated from those test cases. That approach was applied in the automotive context (MBAT project). I have also supervised undergraduate students (TU-Kaiserslautern) during the implementation of a Java tool for automating the solution
  • Integrated Faculty Of Patos (Fip)
    Lecturer
    Integrated Faculty Of Patos (Fip) Jan 2012 - Mar 2012
    Patos, Brazil
    Teach the “Functional Testing” graduate course
  • Integrated Faculty Of Patos (Fip)
    Lecturer
    Integrated Faculty Of Patos (Fip) Oct 2010 - Dec 2011
    Patos, Brazil
    Teach the “Software Testing”, “Information Management”, “Requirements Engineering”, “ProjectManagement”, “Data Modeling” undergraduate courses
  • Faculdade De Ciências Sociais E Aplicadas - Facisa
    Lecturer
    Faculdade De Ciências Sociais E Aplicadas - Facisa 2011 - 2012
    Teach the Project I and Project II undergraduate courses
  • Motorola Brazil Test Center – Research And Development
    Researcher
    Motorola Brazil Test Center – Research And Development Feb 2005 - Feb 2011
    Investigate/Propose solution for test case automatic generation/selection from specifications Implement a Java tool for automating the solution
  • Cnr/Isti/Se
    Visiting Fellow
    Cnr/Isti/Se Nov 2009 - Jun 2010
    Pisa Area, Italy
     Review the state of art about current approaches for MBT and test set reduction  Investigate the Value-Based Approach for applying in test case selection Execute case studies Propose a new variant of reduction approach called “Dissimilarity” Compare the approach using Similarity versus proposed Heuristics in literature

Emanuela Cartaxo Skills

Computer Science Software Engineering Uml Java Eclipse Model Based Testing Sql Testing Mysql Algorithms Xml Design Patterns Subversion Python Javascript Scrum Operating Systems Junit Microsoft Sql Server Postgresql Android Hibernate Jsp Test Driven Development Java Enterprise Edition Programming Cvs Spring Object Oriented Design Ant Tomcat Software Design Unified Modeling Language Exploratory Testing User Acceptance Testing Test Cases Test Management Test Execution Test Planning System Testing Regression Testing Shell Scripting

Emanuela Cartaxo Education Details

  • Federal University Of Campina Grande
    Federal University Of Campina Grande
    Computer Science
  • Federal University Of Campina Grande
    Federal University Of Campina Grande
    Software Engineering, Software Testing

Frequently Asked Questions about Emanuela Cartaxo

What company does Emanuela Cartaxo work for?

Emanuela Cartaxo works for Finstein Gmbh

What is Emanuela Cartaxo's role at the current company?

Emanuela Cartaxo's current role is finstein.de.

What is Emanuela Cartaxo's email address?

Emanuela Cartaxo's email address is em****@****ail.com

What schools did Emanuela Cartaxo attend?

Emanuela Cartaxo attended Federal University Of Campina Grande, Federal University Of Campina Grande.

What skills is Emanuela Cartaxo known for?

Emanuela Cartaxo has skills like Computer Science, Software Engineering, Uml, Java, Eclipse, Model Based Testing, Sql, Testing, Mysql, Algorithms, Xml, Design Patterns.

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.