21. 5. 2022
Coombe Hill and Invinghoe Beacon
Chilterns, England
18. 3. 2023 - 19. 3. 2023
Oxford Green Belt Way
Buckinghamshire Hills, England
Software Verification Competition, SV-COMP'23
JBMC, Java bounded model checker, won the Java track
4. Februar 2023
Software Verification Competition, SV-COMP'23
2LS, a C verification tool, finished 8th in C track
4. Februar 2023
Blog-Post
How to Test a Secured Spring Web MVC Endpoint with MockMvc
2. Dezember 2022
Diffblue Expands AI Code Writing Platform – Raises $8 Million
Pressemitteilung, 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
Erwähnung in IEEE Spectrum
Coding Made AI—Now, How Will AI Unmake Coding?
Artikel von Craig S. Smith, 19. September 2022
KonzertInternational Oxford Horn Trio
Werke von A. Piazzolla, J. Brahms, F. W. Voigt, und P. Schrammel
16. September 2022
Podcast Eye on AI Episode #106
Automatically writing code and its impact on developers
Podcast von 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
Erwähnung in Tech Monitor
AI coding assistants like Amazon CodeWhisperer and Github Copilot are here to stay
Artikel von Matthew Gooding, 24. Juni 2022
Erwähnung in Tech Monitor
Developers not going to be replaced by AI yet
Artikel von Matthew Gooding, 11. Februar 2022
Erwähnung in STX Next
Will Artificial Intelligence Replace Software Developers?
Blog-Post von L. Kurasińska und M. Fraķ
Erwähnung in Medium
How AI Is Helping Programmers
Artikel von Zainab Aftab Chaudhry, 8. Juli 2021
Artikel auf Hackernoon
How to Start Using Diffblue Cover: Community Edition For Unit Testing
Editiert von Craig S. Smith, 8. Jänner 2021
Informatik
Musik
