Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
Research Opportunity
Apply now Final Selection Minute View Formal Call
Research Opportunity

Software Engineering

[Closed]

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

[Closed]

Cluster / Centre

Computer Science / High-Assurance Software

Scientific Advisor

João Alexandre Saraiva