On the public citation graph
Automatic diagnosis and correction of logical errors for functional programming assignments
0 signed · 69 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-319-21668-3_13openalex-snapshot
Deductive Program Repair
inferredcites →https://doi.org/10.1007/978-3-319-41540-6_21openalex-snapshot
Qlose: Program Repair with Quantitative Objectives
inferredcites →https://doi.org/10.1007/978-3-319-66706-5_18openalex-snapshot
Synthesizing Imperative Programs from Examples Guided by Static Analysis
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_67openalex-snapshot
Recursive Program Synthesis
inferredcites →https://doi.org/10.1007/s10009-005-0202-0openalex-snapshot
Error explanation with distance metrics
inferredcites →https://doi.org/10.1016/j.entcs.2006.12.032openalex-snapshot
Automated Fault Localization for C Programs
inferredcites →https://doi.org/10.1109/icse.2009.5070536openalex-snapshot
Automatically finding patches using genetic programming
inferredcites →https://doi.org/10.1145/1250734.1250783openalex-snapshot
Searching for type-error messages
inferredcites →https://doi.org/10.1145/1569901.1570031openalex-snapshot
A genetic programming approach to automated software repair
inferredcites →https://doi.org/10.1145/1925844.1926423openalex-snapshot
Automating string processing in spreadsheets using input-output examples
inferredcites →https://doi.org/10.1145/1926385.1926423openalex-snapshot
Automating string processing in spreadsheets using input-output examples
inferredcites →https://doi.org/10.1145/2491956.2462195openalex-snapshot
Automated feedback generation for introductory programming assignments
inferredcites →https://doi.org/10.1145/2499370.2462195openalex-snapshot
Automated feedback generation for introductory programming assignments
inferredcites →https://doi.org/10.1145/2509136.2509555openalex-snapshot
Synthesis modulo recursive functions
inferredcites →https://doi.org/10.1145/2535838.2535863openalex-snapshot
Counter-factual typing for debugging type errors
inferredcites →https://doi.org/10.1145/2544173.2509555openalex-snapshot
Synthesis modulo recursive functions
inferredcites →https://doi.org/10.1145/2635868.2635912openalex-snapshot
Feedback generation for performance problems in introductory programming assignments
inferredcites →https://doi.org/10.1145/2660193.2660230openalex-snapshot
Finding minimum type error sources
inferredcites →https://doi.org/10.1145/2714064.2660230openalex-snapshot
Finding minimum type error sources
inferredcites →https://doi.org/10.1145/2737924.2737977openalex-snapshot
Synthesizing data structure transformations from input-output examples
inferredcites →https://doi.org/10.1145/2737924.2738007openalex-snapshot
Type-and-example-directed program synthesis
inferredcites →https://doi.org/10.1145/2784731.2784765openalex-snapshot
Practical SMT-based type error localization
inferredcites →https://doi.org/10.1145/2786805.2786825openalex-snapshot
Is the cure worse than the disease? overfitting in automated program repair
inferredcites →https://doi.org/10.1145/2837614.2837617openalex-snapshot
Automatic patch generation by learning correct code
inferredcites →https://doi.org/10.1145/2837614.2837629openalex-snapshot
Example-directed synthesis: a type-theoretic interpretation
inferredcites →https://doi.org/10.1145/2858949.2784765openalex-snapshot
Practical SMT-based type error localization
inferredcites →https://doi.org/10.1145/2908080.2908093openalex-snapshot
Program synthesis from polymorphic refinement types
inferredcites →https://doi.org/10.1145/2914770.2837617openalex-snapshot
Automatic patch generation by learning correct code
inferredcites →https://doi.org/10.1145/2983990.2984031openalex-snapshot
Apex: automatic programming assignment error explanation
inferredcites →https://doi.org/10.1145/2984043.2989222openalex-snapshot
sk_p: a neural program corrector for MOOCs
inferredcites →https://doi.org/10.1145/3009837.3009851openalex-snapshot
Component-based synthesis for complex APIs
inferredcites →https://doi.org/10.1145/3062341.3062351openalex-snapshot
Component-based synthesis of table consolidation and transformation tasks from examples
inferredcites →https://doi.org/10.1145/3133887openalex-snapshot
SQLizer: query synthesis from natural language
inferredcites →https://doi.org/10.1145/3133929openalex-snapshot
How type errors were fixed and what students did?
inferredcites →https://doi.org/10.1145/3133930openalex-snapshot
Learning user friendly type-error messages
inferredcites →https://doi.org/10.1145/3138818openalex-snapshot
Learning to blame: localizing novice type errors with data-driven diagnosis
inferredcites →https://doi.org/10.1145/3180155.3180219openalex-snapshot
Neuro-symbolic program corrector for introductory programming assignments
inferredcites →https://doi.org/10.1145/3192366.3192384openalex-snapshot
Search, align, and repair: data-driven feedback generation for introductory programming exercises
inferredcites →https://doi.org/10.1145/3192366.3192387openalex-snapshot
Automated clustering and program repair for introductory programming assignments
inferredcites →https://doi.org/10.1145/581339.581397openalex-snapshot
Visualization of test information to assist fault localization
inferredcites →https://doi.org/10.1609/aaai.v31i1.10742openalex-snapshot
DeepFix: Fixing Common C Language Errors by Deep Learning
inferredcites →https://doi.org/10.48550/arxiv.1611.01989openalex-snapshot
DeepCoder: Learning to Write Programs
inferredcites →https://doi.org/10.5555/2157654.2157671openalex-snapshot
Automated error localization and correction for imperative programs
inferredcites →https://doi.org/10.5555/2486788.2486890openalex-snapshot
SemFix: program repair via semantic analysis
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-78292-4_1openalex-snapshot
RepairNet: Contextual Sequence-to-Sequence Network for Automated Program Repair
inferred← citeshttps://doi.org/10.1007/978-3-031-91121-7_7openalex-snapshot
Formal Autograding in a Classroom
inferred← citeshttps://doi.org/10.1007/978-981-19-5221-0_38openalex-snapshot
Automating the Process of Program Debugging
inferred← citeshttps://doi.org/10.1007/978-981-96-7036-9_4openalex-snapshot
Logic Error Localization in Student Programming Assignments Using Pseudocode and Graph Neural Networks
inferred← citeshttps://doi.org/10.1007/s11432-022-3803-9openalex-snapshot
When debugging encounters artificial intelligence: state of the art and open challenges
inferred← citeshttps://doi.org/10.1109/ase.2019.00044openalex-snapshot
Re-Factoring Based Program Repair Applied to Programming Assignments
inferred← citeshttps://doi.org/10.1109/tcad.2023.3341750openalex-snapshot
Strider: Signal Value Transition-Guided Defect Repair for HDL Programming Assignments
inferred← citeshttps://doi.org/10.1109/tse.2022.3152089openalex-snapshot
Let’s Talk With Developers, Not About Developers: A Review of Automatic Program Repair Research
inferred← citeshttps://doi.org/10.1109/tse.2022.3194188openalex-snapshot
How do Developers Really Feel About Bug Fixing? Directions for Automatic Program Repair
inferred← citeshttps://doi.org/10.1145/3360614openalex-snapshot
Automatic and scalable detection of logical errors in functional programming assignments
inferred← citeshttps://doi.org/10.1145/3468264.3468598openalex-snapshot
Context-aware and data-driven feedback generation for programming assignments
inferred← citeshttps://doi.org/10.1145/3551349.3560425openalex-snapshot
Automated Feedback Generation for Competition-Level Code
inferred← citeshttps://doi.org/10.1145/3591258openalex-snapshot
Proving and Disproving Equivalence of Functional Programming Assignments
inferred← citeshttps://doi.org/10.1145/3636515openalex-snapshot
Automated Grading and Feedback Tools for Programming Education: A Systematic Review
inferred← citeshttps://doi.org/10.1145/3643788.3648017openalex-snapshot
Automated Program Repair for Introductory Programming Assignments via Bidirectional Refactoring
inferred← citeshttps://doi.org/10.1145/3650212.3680326openalex-snapshot
BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments
inferred← citeshttps://doi.org/10.1145/3732790openalex-snapshot
Novice Perceptions on Effective Elements of PostgreSQL Error Messages
inferred← citeshttps://doi.org/10.20965/jrm.2026.p0242openalex-snapshot
AST-MLEC: AST-Enhanced Multi-Label Error Classifier for Programming Education Support
inferred← citeshttps://doi.org/10.3390/app11114755openalex-snapshot
A Model with Iterative Trials for Correcting Logic Errors in Source Code
inferred← citeshttps://doi.org/10.3390/computers9020027openalex-snapshot
Cognification of Program Synthesis—A Systematic Feature-Oriented Analysis and Future Direction
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.