One more: happy to welcome Alexander Lercher in our research group. He will do his PhD in analyzing microservice-based systems.

Very happy to welcome our new PhD student Johann Aichberger in our research group. He will do his PhD in program repair using formal and statistical methods.

Wanted! Two students with good skills in software engineering and programming and a strong interest for research that would like to do a PhD in software engineering. Apply before June 30, 2021. More information at: https://t.co/ytL2n5M3uR and https://t.co/Mi321JUcHf (in German).

Would you like to do a PhD in software engineering? Would you like to do it in an awesome team at @SERG_AAU in Klagenfurt, Austria? If yes, submit your application until *Feb. 3rd, 2021*. More info is available at

We extended the submission deadline of our #vst2021 workshop to *Dec. 21st*. We welcome submissions of full, position, and tool-demo papers in the area of validation, analysis and evolution of software tests. More info at:

CfP for the 4th Workshop on Validation, Analysis, and Evolution of Software Tests (#vst2021), co-located with #saner2021. We welcome full, position, and tool-demo papers. Deadline: Dec. 11th, 2020. More info at:

Would you like to do a PhD on making software for robots more safe and secure? If yes, we have an open position for you in our SEEROSE project. Application deadline is Sept. 30th. More info at:

Wanna do a PhD on preventing the introduction of vulnerabilities in robotic systems? If yes, check our job offer at https://t.co/U6J1rI06y2 and apply before Sept. 30th.

Looking forward to start our interdisciplinary research on Responsible Safe and Secure Robotic Systems Engineering (SEEROSE). Also stay tuned, we will open positions for 4 PhD students in four different disciplines. More info at:

One week left to apply for the Postdoc in Software Engineering. The position is full-time and provides the possibility to perform a tenure track. For more information on the vacancy and how to apply see:

I have an open position for a Postdoc in Software Engineering. The position is full-time and provides the possibility to perform a tenure track. For more information on the vacancy and how to apply see:

Congrats to the new Doktor Giovanni Liva who successfully defended his phd thesis on Formal Analysis & Verification of Timed Programs.

Our paper "Automatic Repair of Timestamp Comparisons" has been accepted for publication in the IEEE journal Transactions on Software Engineering (TSE). Preprint will be available soon.

and the line of research on edit script extraction is completed by Christoph Wedenig presenting our DiffViz tool at #ICSME18. Tool and source code is available on GitHub

Veit Frick presenting our work on generating more accurate edit scripts at #icsme18 preprint available at our website

SERG researchers will present "Generating Accurate and Compact Edit Scripts using Tree Differencing” and “DiffViz: A Diff Algorithm Independent Visualization Tool for Edit Scripts” at #icsme18. Preprints at:

Tomaž Dobravec from the University of Ljubljana and Hagen Tarner from the University Duisburg-Essen are visiting us in September 2018.

Last week, our Software Engineering II students @SERG_AAU presented their projects. This year, they implemented board games for @Android devices which resulted in some really nice games :) https://t.co/ccBRcmIixd [german] #tewi #aau

Congrats to Dr. Stefanie Beyer who successfully defended her PhD thesis at #AAU today. Well done Steffi!!!

@Mitschiiii presenting our paper on auto repairing broken maven builds.