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