Rance Cleaveland Test-of-Time Tool Award bei ETAPS 2025

Gemeinsam mit D. Kroening und M. Tautschnig, 7. 5. 2025

Oxford - Swyncombe - Bald Hill

Chilterns, England

27. 4. 2025

Oxford - Stowe House - Quainton Hill - Brill

Buckinghamshire Hills, England

20. 4. 2025

Newbury - Walbury Hill - Ladle Hill

North Wessex Downs, England

5. 4. 2025

Diffblue receives InnovateUK grant for £1m project on AI for software engineering

Press Release, 2. 4. 2025

JBMC, Java bounded model checker, finished 2nd in Java track

24. 3. 2025

Wichtl-Hütte

Seckauer Alpen und Triebener Tauern, Österreich

22. 3. 2025

Zirbitzkogel

Seetaler Alpen und Saualpe, Österreich

21. 3. 2025

The Trust Problem in AI-Driven Software Development & What To Do About It

21. 3. 2025

Overcoming Hallucinations: Combining LLMs with Code Execution

21. 3. 2025

Towards Autonomous AI Coding Agents: The Future of Software Development?

21. 3. 2025

Agentic AI: Hype or the Way to Unlock Productivity Gains in Software Engineering?

Predict'25, 14. 1. 2025

International Conference on Software Engineering, ICSE'26

4. 12. 2024

Angerstein

Dachsteingebirge, Österreich

30. 7. 2024

Kalmberge

Salzkammergut, Österreich

26. 7. 2024

Gen AI in Software

Capgemini Research Institute, 22. 7. 2024

Does AI-generated code need to be tested?

Oxfordshire - Leaders in Tech, 3. 7. 2024

AI Investing in a post-LLM world

IP Group Deeptech Veranstaltung, 2. 7. 2024

Diffblue CTO Peter Schrammel on AI, trust, and the beauty of code

The Diff newsletter, 19. 6. 2024

Static Data Race Detection via Lazy Sequentialization

Gemeinsam mit B. Fischer, G. Garbi, S. La Torre und G. Parlato, 31. 5. 2024

The Roaches, Axe Edge Moor and Tegg's Nose

Peak District, England

25. 5. 2024

Skirrid Fawr

Black Mountains, Wales

4. 5. 2024

Mountainbiken ≠ Mountainbiken

Über die unterschiedlichen Spielarten des Mountainbikens, 28. 4. 2024

Cleeve Hill

Cotswolds, England

25. 4. 2024

Template-Based Verification of Array-Manipulating Programs

Gemeinsam mit V. Malík und T. Vojnar, 20. 3. 2024

Mastering Product Alignment: Crafting Product Strategy for GTM Success

Matthew Richards in Phil Guests Behind Startup Lines, 8. 2. 2024

Spryte AI Spotlight

16. 1. 2024

Gscheideggkogel

Eisenerzer Alpen, Österreich

26. 12. 2023

Does AI-generated code need to be tested even more?

23. 12. 2023

Long Mynd

Shropshire Hills, England

2. 12. 2023

Caer Caradoc

Shropshire Hills, England

1. 12. 2023

Will AI replace programmers?

Blog Post von L. Kurasińska und M. Fraķ, 25. 10. 2023

Computer-Aided Verification CAV 2024

4. 10. 2023

Does AI-generated code need to be tested?

12. 9. 2023

Foundations of Software Engineering FSE 2024

7. 8. 2023

JBMC, Java bounded model checker, won the Java track

3. 2. 2023

2LS, a C verification tool, finished 8th in C track

3. 2. 2023

How to Test a Secured Spring Web MVC Endpoint with MockMvc

1. 12. 2022

Diffblue Expands AI Code Writing Platform – Raises $8 Million

Pressemitteilung, 20. 11. 2022

Coding Made AI—Now, How Will AI Unmake Coding?

Artikel von Craig S. Smith, 18. 9. 2022

Werke von A. Piazzolla, J. Brahms, F. W. Voigt und P. Schrammel

15. 9. 2022

Automatically writing code and its impact on developers

Podcast von Craig S. Smith, 7. 9. 2022

Guide to Overriding Spring Boot Properties for Testing

4. 9. 2022

CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory

7. 7. 2022

AI coding assistants like Amazon CodeWhisperer and Github Copilot are here to stay

Artikel von Matthew Gooding, 23. 6. 2022

Developers not going to be replaced by AI yet

Artikel von Matthew Gooding, 10. 2. 2022

How AI Is Helping Programmers

Artikel von Zainab Aftab Chaudhry, 7. 7. 2021

How to Start Using Diffblue Cover: Community Edition For Unit Testing

Editiert von Craig S. Smith, 7. 1. 2021

Informatik

Musik

Berge