Blog post
Does AI-generated code need to be tested?
13 septembre 2023
2. 9. 2023
Admonter Reichenstein
Ennstaler Alpen, Österreich
21. 8. 2023
Osterhorngruppe und Fuschler Voralpen, Österreich
19. 8. 2023
Tennengebirge, Österreich
17. 8. 2023
Dachsteingebirge, Österreich
13. 8. 2023
Salzkammergut, Österreich
29. 5. 2023
Coast path from Polperro to Par
Bodmin Moor, England
28. 5. 2023
Mount Edgcumbe and Rame Head
Bodmoor, England
27. 5. 2023
Tavistock railway and canal
Dartmoor, England
21. 5. 2023
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 février 2023
Software Verification Competition, SV-COMP'23
2LS, a C verification tool, finished 8th in C track
4 février 2023
Blog post
How to Test a Secured Spring Web MVC Endpoint with MockMvc
2 décembre 2022
Diffblue Expands AI Code Writing Platform – Raises $8 Million
Communiqué de presse, 21 novembre 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 dans IEEE Spectrum
Coding Made AI—Now, How Will AI Unmake Coding?
Article par Craig S. Smith, 19 septembre 2022

International Oxford Horn Trio
Œuvres d'A. Piazzolla, J. Brahms, F. W. Voigt, et P. Schrammel
16 septembre 2022
Podcast Eye on AI Episode #106
Automatically writing code and its impact on developers
Podcast par Craig S. Smith, 8 septembre 2022
Blog post
Guide to Overriding Spring Boot Properties for Testing
5 septembre 2022
Papier accepté par ASE'22
Automated Software Engineering
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
Mention dans Tech Monitor
AI coding assistants like Amazon CodeWhisperer and Github Copilot are here to stay
Article par Matthew Gooding, 24 juin 2022
Mention dans Tech Monitor
Developers not going to be replaced by AI yet
Article par Matthew Gooding, 11 février 2022
Mention dans STX Next
Will Artificial Intelligence Replace Software Developers?
Blog post par L. Kurasińska and M. Fraķ
Mention dans Medium
How AI Is Helping Programmers
Article par Zainab Aftab Chaudhry, 8 juillet 2021
Article sur Hackernoon
How to Start Using Diffblue Cover: Community Edition For Unit Testing
Editée par Craig S. Smith, 8 janvier 2021