Publications | VeriFixer Projecthttps://verifixer.github.io/publication/PublicationsHugo Blox Builder (https://hugoblox.com)en-usSun, 07 Sep 2025 00:00:00 +0000https://verifixer.github.io/media/icon_hu7058158995025993571.pngPublicationshttps://verifixer.github.io/publication/Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafnyhttps://verifixer.github.io/publication/2025/sefm_dafnystudy/Sun, 07 Sep 2025 00:00:00 +0000https://verifixer.github.io/publication/2025/sefm_dafnystudy/Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMshttps://verifixer.github.io/publication/2025/sefm_repair/Sun, 07 Sep 2025 00:00:00 +0000https://verifixer.github.io/publication/2025/sefm_repair/What Challenges do Developer Face when using Verification-Aware Languages?https://verifixer.github.io/publication/2025/issre/Sun, 20 Jul 2025 00:00:00 +0000https://verifixer.github.io/publication/2025/issre/Contract Usage and Evolution in Android Mobile Applicationshttps://verifixer.github.io/publication/2025/ecoop/Fri, 28 Feb 2025 00:00:00 +0000https://verifixer.github.io/publication/2025/ecoop/