The work plan fits a dissertation topic of a masters degree on informatics in the area of formal methods for software engineering. Namely, the work will involve: - the study of existing techniques for the generation of repair hints; - adapting, or developing novel, techniques to generate repair hints for Alloy; - the implementation of the repair technique in the Alloy4Fun platform; - the evaluation of the results using the Alloy4Fun dataset of submissions; - the writing of the grant's activity report.
- Degree in computer engineering.
Minimum profile required
- Average BSc grades of at least 15;- Experience on formal software development methods, particularly Dafny.
Since 30 Nov 2022 to 15 Dec 2022
Cluster / Centre
Computer Science / High-Assurance Software