On the public citation graph
Automatic and scalable detection of logical errors in 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/11924661_9openalex-snapshot
Automatic Testing of Higher Order Functions
inferredcites →https://doi.org/10.1007/3-540-36577-x_40openalex-snapshot
Generalized Symbolic Execution for Model Checking and Testing
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-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/978-3-642-13953-6_9openalex-snapshot
Contract-Driven Testing of JavaScript Code
inferredcites →https://doi.org/10.1007/978-3-642-30561-0openalex-snapshot
Objects, Models, Components, Patterns
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_67openalex-snapshot
Recursive Program Synthesis
inferredcites →https://doi.org/10.1007/978-981-99-8311-7openalex-snapshot
Programming Languages and Systems
inferredcites →https://doi.org/10.1109/icse.2009.5070536openalex-snapshot
Automatically finding patches using genetic programming
inferredcites →https://doi.org/10.1145/1569901.1570031openalex-snapshot
A genetic programming approach to automated software repair
inferredcites →https://doi.org/10.1145/1869459.1869505openalex-snapshot
Random testing for higher-order, stateful programs
inferredcites →https://doi.org/10.1145/1982595.1982615openalex-snapshot
Testing an optimising compiler by generating random lambda terms
inferredcites →https://doi.org/10.1145/1985793.1985995openalex-snapshot
Symbolic execution for software testing in practice
inferredcites →https://doi.org/10.1145/1993316.1993506openalex-snapshot
Synthesis of loop-free programs
inferredcites →https://doi.org/10.1145/1993316.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/1993498.1993506openalex-snapshot
Synthesis of loop-free programs
inferredcites →https://doi.org/10.1145/1993498.1993532openalex-snapshot
Finding and understanding bugs in C compilers
inferredcites →https://doi.org/10.1145/2384616.2384655openalex-snapshot
Higher-order symbolic execution via contracts
inferredcites →https://doi.org/10.1145/2491956.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/2737924.2737971openalex-snapshot
Relatively complete counterexamples for higher-order programs
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/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/2908080.2908093openalex-snapshot
Program synthesis from polymorphic refinement types
inferredcites →https://doi.org/10.1145/2983990.2984038openalex-snapshot
Finding compiler bugs via live code mutation
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/3009837.3009868openalex-snapshot
Beginner's luck: a language for property-based generators
inferredcites →https://doi.org/10.1145/3059009.3059058openalex-snapshot
High-Coverage Hint Generation for Massive Courses
inferredcites →https://doi.org/10.1145/3062341.3062365openalex-snapshot
Synthesizing highly expressive SQL queries from input-output examples
inferredcites →https://doi.org/10.1145/3092703.3092711openalex-snapshot
Targeted property-based testing
inferredcites →https://doi.org/10.1145/3092703.3092718openalex-snapshot
Identifying test-suite-overfitted patches through test case generation
inferredcites →https://doi.org/10.1145/3106237.3106274openalex-snapshot
Better test cases for better automated program repair
inferredcites →https://doi.org/10.1145/3133887openalex-snapshot
SQLizer: query synthesis from natural language
inferredcites →https://doi.org/10.1145/3180155.3180219openalex-snapshot
Neuro-symbolic program corrector for introductory programming assignments
inferredcites →https://doi.org/10.1145/3180155.3180247openalex-snapshot
Semantic program repair using a reference implementation
inferredcites →https://doi.org/10.1145/3192366.3192410openalex-snapshot
Accelerating search-based program synthesis using learned probabilistic models
inferredcites →https://doi.org/10.1145/3276528openalex-snapshot
Automatic diagnosis and correction of logical errors for functional programming assignments
inferredcites →https://doi.org/10.1145/3276531openalex-snapshot
Test generation for higher-order functions in dynamic languages
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.1145/581478.581484openalex-snapshot
Contracts for higher-order functions
inferredcites →https://doi.org/10.1609/aaai.v31i1.10742openalex-snapshot
DeepFix: Fixing Common C Language Errors by Deep Learning
inferredcites →https://doi.org/10.24963/ijcai.2018/224openalex-snapshot
Synthesizing Pattern Programs from Examples
inferredcites →https://doi.org/10.48550/arxiv.1611.01989openalex-snapshot
DeepCoder: Learning to Write Programs
inferredcites →https://doi.org/10.5555/1855741.1855756openalex-snapshot
KLEE: unassisted and automatic generation of high-coverage tests for complex systems 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-031-91121-7_7openalex-snapshot
Formal Autograding in a Classroom
inferred← citeshttps://doi.org/10.1145/3385412.3386005openalex-snapshot
Type error feedback via analytic program repair
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/3491140.3528282openalex-snapshot
LEGenT: Localizing Errors and Generating Testcases for CS1
inferred← citeshttps://doi.org/10.1145/3545945.3569838openalex-snapshot
A Cloud-Based Technology for Conducting In-class Exercises in Data Science and Machine Learning Courses
inferred← citeshttps://doi.org/10.1145/3591258openalex-snapshot
Proving and Disproving Equivalence of Functional Programming Assignments
inferred← citeshttps://doi.org/10.1145/3641399.3641442openalex-snapshot
Finding and Investigating Buggy Codes to Make CS1 Learning Efficient
inferred← citeshttps://doi.org/10.1145/3649217.3653619openalex-snapshot
Scalable Autograding for Quantum Programming Assignments
inferred← citeshttps://doi.org/10.1145/3650212.3652115openalex-snapshot
CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
inferred← citeshttps://doi.org/10.1145/3689493.3689981openalex-snapshot
ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming Exercises
inferred← citeshttps://doi.org/10.1145/3706468.3706500openalex-snapshot
Test Case-Informed Knowledge Tracing for Open-ended Coding Tasks
inferred← citeshttps://doi.org/10.17760/d20560779openalex-snapshot
Leveraging large code bases for bug detection and test generation
inferred← citeshttps://doi.org/10.3390/sym13020247openalex-snapshot
A Bidirectional LSTM Language Model for Code Evaluation and Repair
inferred← citeshttps://doi.org/10.48550/arxiv.2107.06550openalex-snapshot
FAPR: Fast and Accurate Program Repair for Introductory Programming Courses
inferred← citeshttps://doi.org/10.5753/sbie.2024.242433openalex-snapshot
Geração automática de casos de teste para auto-graders baseada em execução simbólica
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.