Image de couverture de livre

MutDafny: A Mutation-Based Approach to Assess Dafny Specifications

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Amaral, Isabel, Mendes, Alexandra, Campos, José
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
par: Wu, Valentina, et autres
Publié: (2025)

Inferring multiple helper Dafny assertions with LLMs
par: Silva, Álvaro, et autres
Publié: (2025)

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
par: Carreira, Carolina, et autres
Publié: (2025)

Leveraging Large Language Models to Boost Dafny's Developers Productivity
par: Silva, Álvaro, et autres
Publié: (2024)

Towards AI-Assisted Synthesis of Verified Dafny Methods
par: Misu, Md Rakib Hossain, et autres
Publié: (2024)

dafny-annotator: AI-Assisted Verification of Dafny Programs
par: Poesia, Gabriel, et autres
Publié: (2024)

DafnyBench: A Benchmark for Formal Software Verification
par: Loughridge, Chloe, et autres
Publié: (2024)

Dafny as Verification-Aware Intermediate Language for Code Generation
par: Li, Yue Chen, et autres
Publié: (2025)

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
par: Banerjee, Debangshu, et autres
Publié: (2026)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
par: Oliveira, Francisco, et autres
Publié: (2025)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
par: Fedchin, Aleksandr, et autres
Publié: (2025)

Conceptual Mutation Testing for Student Programming Misconceptions
par: Prasad, Siddhartha, et autres
Publié: (2023)

Challenges of Multilingual Program Specification and Analysis
par: Furia, Carlo A., et autres
Publié: (2024)

Baking for Dafny: A CakeML Backend for Dafny
par: Nezamabadi, Daniel, et autres
Publié: (2025)

Validating Traces of Distributed Programs Against TLA+ Specifications
par: Cirstea, Horatiu, et autres
Publié: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
par: Ferreiro, Daniela, et autres
Publié: (2025)

Understanding and Detecting Platform-Specific Violations in Android Auto Apps
par: Fakorede, Moshood, et autres
Publié: (2025)

Caruca: Effective and Efficient Specification Mining for Opaque Software Components
par: Lamprou, Evangelos, et autres
Publié: (2025)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
par: Erfan, Md, et autres
Publié: (2026)

From Code to Career: Assessing Competitive Programmers for Industry Placement
par: Akib, Md Imranur Rahman, et autres
Publié: (2025)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
par: Odyurt, Uraz, et autres
Publié: (2025)

Incremental Proof Development in Dafny with Module-Based Induction
par: Ho, Son, et autres
Publié: (2024)

A Trace-based Approach for Code Safety Analysis
par: Xu, Hui
Publié: (2025)

Assessing GPT-4-Vision's Capabilities in UML-Based Code Generation
par: Antal, Gábor, et autres
Publié: (2024)

Contract Usage and Evolution in Android Mobile Applications
par: Ferreira, David R., et autres
Publié: (2024)

Minimalistic Terminal Editor for Julia Programming -- MinTEJ: A Friendly Approach for a Scientific Programmer
par: Bhattar, Poornachandratejasvi Laxman, et autres
Publié: (2026)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
par: Zhu, Qian, et autres
Publié: (2025)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
par: Shree, Iti, et autres
Publié: (2025)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
par: Erata, Ferhat, et autres
Publié: (2024)

Generating Equivalent Representations of Code By A Self-Reflection Approach
par: Li, Jia, et autres
Publié: (2024)

Programmable Property-Based Testing
par: Keles, Alperen, et autres
Publié: (2026)

Assessing Code Understanding in LLMs
par: Laneve, Cosimo, et autres
Publié: (2025)

Concept-Based Generic Programming in C++
par: Stroustrup, Bjarne
Publié: (2025)

Type-level Property Based Testing
par: Hansen, Thomas Ekström, et autres
Publié: (2024)

LLM-Based Repair of Static Nullability Errors
par: Karimipour, Nima, et autres
Publié: (2025)

Etna: An Evaluation Platform for Property-Based Testing
par: Keles, Alperen, et autres
Publié: (2026)

Evaluating the Language-Based Security for Plugin Development
par: Liang, Naisheng, et autres
Publié: (2024)

Pattern-Based Peephole Optimizations with Java JIT Tests
par: Zang, Zhiqiang, et autres
Publié: (2024)

BODHI: Precise OS Kernel Specification Inference
par: Chang, Zhiming, et autres
Publié: (2026)

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
par: Serebryany, Kostya, et autres
Publié: (2023)