From f33eb526db8edec30fe004612ff8a8be62e561ab Mon Sep 17 00:00:00 2001 From: davidediruscio Date: Mon, 23 Jun 2025 09:48:57 +0200 Subject: [PATCH] [logseq-plugin-git:commit] 2025-06-23T07:48:56.945Z --- pages/Missione FSE 2025.md | 1 + 1 file changed, 1 insertion(+) diff --git a/pages/Missione FSE 2025.md b/pages/Missione FSE 2025.md index bdd1a5d7..97cf811d 100644 --- a/pages/Missione FSE 2025.md +++ b/pages/Missione FSE 2025.md @@ -35,5 +35,6 @@ external-link:: [Program - FSE 2025](https://conf.researchr.org/program/fse-2025 - Ok, with LLMs we are generating code faster, but less buggy? - Automated test generation is more important than ever!!! - Testing vs Verification + - Grounds for optimism today! (oracle problem) - - \ No newline at end of file