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.
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.
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.
Since 26 Nov 2019 to 09 Dec 2019
Cluster / Centre
Computer Science / High-Assurance Software