Buchumschlag

Conceptual Mutation Testing for Student Programming Misconceptions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Prasad, Siddhartha, Greenman, Ben, Nelson, Tim, Krishnamurthi, Shriram
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Software Engineering Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An Interactive Debugger for Rust Trait Errors
von: Gray, Gavin, et al.
Veröffentlicht: (2025)

Grounded Language Design for Lightweight Diagramming for Formal Methods
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2024)

Privacy-Respecting Type Error Telemetry at Scale
von: Greenman, Ben, et al.
Veröffentlicht: (2024)

Toward a Corpus Study of the Dynamic Gradual Type
von: Nsofor, Dibri, et al.
Veröffentlicht: (2025)

Profiling Programming Language Learning
von: Crichton, Will, et al.
Veröffentlicht: (2024)

Describing Console I/O Behavior for Testing Student Submissions in Haskell
von: Westphal, Oliver, et al.
Veröffentlicht: (2020)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
von: Cui, Baoquan, et al.
Veröffentlicht: (2025)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
von: Shree, Iti, et al.
Veröffentlicht: (2025)

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
von: Montesi, Fabrizio, et al.
Veröffentlicht: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
von: Baek, Doehyun, et al.
Veröffentlicht: (2025)

MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
von: Amaral, Isabel, et al.
Veröffentlicht: (2025)

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation
von: Laguna, Ignacio, et al.
Veröffentlicht: (2024)

Programmable Property-Based Testing
von: Keles, Alperen, et al.
Veröffentlicht: (2026)

Program Structure Aware Precondition Generation
von: Dinella, Elizabeth, et al.
Veröffentlicht: (2023)

C*: Unifying Programming and Verification in C
von: Cao, Yiyuan, et al.
Veröffentlicht: (2025)

Concept-Based Generic Programming in C++
von: Stroustrup, Bjarne
Veröffentlicht: (2025)

An Incremental Algorithm for Algebraic Program Analysis
von: Zhou, Chenyu, et al.
Veröffentlicht: (2024)

LLM-Guided Compositional Program Synthesis
von: Khan, Ruhma, et al.
Veröffentlicht: (2025)

Challenges of Multilingual Program Specification and Analysis
von: Furia, Carlo A., et al.
Veröffentlicht: (2024)

Type-level Property Based Testing
von: Hansen, Thomas Ekström, et al.
Veröffentlicht: (2024)

Towards Analyzing N-language Polyglot Programs
von: Prakash, Jyoti, et al.
Veröffentlicht: (2026)

On Repairing Quantum Programs Using ChatGPT
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2024)

Inferring Non-Failure Conditions for Declarative Programs
von: Hanus, Michael
Veröffentlicht: (2024)

LitmusKt: Concurrency Stress Testing for Kotlin
von: Lochmelis, Denis, et al.
Veröffentlicht: (2025)

Etna: An Evaluation Platform for Property-Based Testing
von: Keles, Alperen, et al.
Veröffentlicht: (2026)

Mica: Automated Differential Testing for OCaml Modules
von: Ng, Ernest, et al.
Veröffentlicht: (2024)

LPR: Large Language Models-Aided Program Reduction
von: Zhang, Mengxiao, et al.
Veröffentlicht: (2023)

NESA: Relational Neuro-Symbolic Static Program Analysis
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

Enabling Memory Safety of C Programs using LLMs
von: Mohammed, Nausheen, et al.
Veröffentlicht: (2024)

Validating Traces of Distributed Programs Against TLA+ Specifications
von: Cirstea, Horatiu, et al.
Veröffentlicht: (2024)

Equality Saturation for Optimizing High-Level Julia IR
von: Merckx, Jules, et al.
Veröffentlicht: (2025)

Pattern-Based Peephole Optimizations with Java JIT Tests
von: Zang, Zhiqiang, et al.
Veröffentlicht: (2024)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
von: Feng, Qiong, et al.
Veröffentlicht: (2026)

Checkification: A Practical Approach for Testing Static Analysis Truths
von: Ferreiro, Daniela, et al.
Veröffentlicht: (2025)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
von: Rho, Sanghoon, et al.
Veröffentlicht: (2024)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
von: Marron, Mark
Veröffentlicht: (2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
von: Szabo, Violet, et al.
Veröffentlicht: (2024)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
von: Wu, Valentina, et al.
Veröffentlicht: (2025)

Strengthening Programming Comprehension in Large Language Models through Code Generation
von: Ren, Xiaoning, et al.
Veröffentlicht: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
von: Damiani, Ferruccio, et al.
Veröffentlicht: (2026)