Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Research Opportunity
Apply now Final Selection Minute View Formal Call
Research Opportunity

Software Engineering


Work description

Software testing is a vital part of the software development cycle, due to the detection and correction of bugs. Manually writing test cases is a monotonous and non-trivial task. It is possible to automatically generate said test cases, however this process is not context-sensitive and can generate superfluous or useless test cases. Therefore, an alternative automatic test case generation approach is sought, which can reason about the program and produce real program executions.

Academic Qualifications

Integrated Master's Degree in Software Engineering

Minimum profile required

Knowledge about software analysis and test techniques; Knowledge about analysis of performance and energy consumption in software; Capacity of Java programming.

Preference factors

Experience with: analysis and manipulation of Abstract Syntax Trees; RAPL or similar tools; QuickCheck and EvoSuite; Analysis and Test of Software teaching; Notion about the concept of code smells.

Application Period

Since 26 Nov 2019 to 09 Dec 2019


Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

João Alexandre Saraiva