Software Verification Competition, SV-COMP'23
JBMC, Java bounded model checker, won the Java track
4 February 2023
Software Verification Competition, SV-COMP'23
2LS, a C verification tool, finished 8th in C track
4 February 2023
Blog post
How to Test a Secured Spring Web MVC Endpoint with MockMvc
2 December 2022
Diffblue Expands AI Code Writing Platform – Raises $8 Million
Press Release, 21 November 2022
4. 10. 2022
Gr. Maiereck
Ennstaler Alpen, Österreich
1. 10. 2022
Gr. Kesselgraben
Wiener Hausberge Ost, Österreich
28. 9. 2022
Český Ráj
Český Ráj, Tschechien
23. 9. 2022
Kl. und Gr. Größtenberg
Sengsengebirge und Reichraminger Voralpen, Österreich
22. 9. 2022
Schoberstein und Hochbuchberg
Sengsengebirge und Reichraminger Voralpen, Österreich
Mention in IEEE Spectrum
Coding Made AI—Now, How Will AI Unmake Coding?
Article by Craig S. Smith, 19 September 2022
ConcertInternational Oxford Horn Trio
Works by A. Piazzolla, J. Brahms, F. W. Voigt, and P. Schrammel
16 September 2022
Podcast Eye on AI Episode #106
Automatically writing code and its impact on developers
Podcast by Craig S. Smith, 8 September 2022
Blog post
Guide to Overriding Spring Boot Properties for Testing
5 September 2022
30. 8. 2022
Dolgoch Falls and Tarrenhendre
Snowdonia South, Wales
29. 8. 2022
Llyn Cau, Llyn y Gader and Tyrrau Mawr
Snowdonia South, Wales
28. 8. 2022
Cadair Idris
Snowdonia South, Wales
27. 8. 2022
Constitution Hill and Pen Dinas
Cambrian Mountains Northwest, Wales
Paper accepted at ASE'22Automated Software Engineering
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
3. 7. 2022
Hoher Stein
Oberes Kamptal, Österreich
2. 7. 2022
Kamp und Zwettl Tour
Oberes Kamptal, Österreich
Mention in Tech Monitor
AI coding assistants like Amazon CodeWhisperer and Github Copilot are here to stay
Article by Matthew Gooding, 24 June 2022
18. 4. 2022
Cadair Ifan Goch
Denbigh Moors, Wales
17. 4. 2022
Carnedd Llywelyn
Snowdonia North, Wales
16. 4. 2022
Tryfan and Glyders
Snowdonia, Wales
15. 4. 2022
Rhaeadr Fawr
Snowdonia North, Wales
Mention in Tech Monitor
Developers not going to be replaced by AI yet
Article by Matthew Gooding, 11 February 2022
Mention in STX Next
Will Artificial Intelligence Replace Software Developers?
Blog post by L. Kurasińska and M. Fraķ
15. 1. 2022
Holzerkar
Ennstaler Alpen, Österreich
8. 1. 2022
Kragelschinken und Plöschkogel
Eisenerzer Alpen, Österreich
7. 1. 2022
Lahnerleitenspitze
Eisenerzer Alpen, Österreich
Mention in Medium
How AI Is Helping Programmers
Article by Zainab Aftab Chaudhry, 8 July 2021
Article on Hackernoon
How to Start Using Diffblue Cover: Community Edition For Unit Testing
Edited by Craig S. Smith, 8 January 2021
Computer Science
Music
