On the public citation graph

Generating test programs from syntax

https://doi.org/10.1007/bf02235512
0 signed · 31 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1016/s0019-9958(58)90082-2openalex-snapshot
Finite state languages
inferredcites →https://doi.org/10.1109/jrproc.1961.287820openalex-snapshot
The Evolution of Programming Systems
inferredcites →https://doi.org/10.1109/mspec.1965.5531723openalex-snapshot
1965 IEEE International Convention Record
inferredcites →https://doi.org/10.1145/1460833.1460869openalex-snapshot
A general test data generator for COBOL
inferredcites →https://doi.org/10.1145/1464122.1464126openalex-snapshot
Syntax-directed compiling
inferredcites →https://doi.org/10.1145/357980.357986openalex-snapshot
A syntax directed compiler for ALGOL 60
inferredcites →https://doi.org/10.1145/363707.363718openalex-snapshot
Pracniques: automated plotting of flow-charts on a small computer
inferredcites →https://doi.org/10.1145/364888.364969openalex-snapshot
A method of syntax specification
inferredcites →https://doi.org/10.1145/366062.366083openalex-snapshot
A syntax directed compiler for ALGOL 60
inferredcites →https://doi.org/10.1145/366696.366766openalex-snapshot
A syntactical chart of ALGOL 60
inferredcites →https://doi.org/10.1145/366707.367587openalex-snapshot
Continued operation notation for symbol manipulation and array processing
inferredcites →https://doi.org/10.1145/368959.368992openalex-snapshot
Syntactic analysis by digital computer
inferredcites →https://doi.org/10.1145/800257.808896openalex-snapshot
META II a syntax-oriented compiler writing language

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-1-4471-0135-2_12openalex-snapshot
A Search-Based Automated Test-Data Generation Framework for Safety-Critical Systems
inferred← citeshttps://doi.org/10.1016/0165-6074(89)90281-0openalex-snapshot
Locality aspects and cache memory utility in microcomputers
inferred← citeshttps://doi.org/10.1016/0743-1066(90)90053-8openalex-snapshot
Mockingbird: A logical methodology for testing
inferred← citeshttps://doi.org/10.1109/cmpcon.1977.680827openalex-snapshot
Universal Microcomputer Systems Software
inferred← citeshttps://doi.org/10.1109/eurosp57164.2023.00034openalex-snapshot
EF↯CF: High Performance Smart Contract Fuzzing for Exploit Generation
inferred← citeshttps://doi.org/10.1109/icst62969.2025.10988993openalex-snapshot
FuzzE, Development of a Fuzzing Approach for Odoo's Tours Integration Testing Plateform
inferred← citeshttps://doi.org/10.1109/icst69053.2026.00033openalex-snapshot
Constraint-Driven Fuzzing at Scale with FANDANGO
inferred← citeshttps://doi.org/10.1109/seep.1996.533997openalex-snapshot
Automated testing using executable formal specifications
inferred← citeshttps://doi.org/10.1109/tssc.1969.300221openalex-snapshot
Controlling the Functional Testing of an Operating System
inferred← citeshttps://doi.org/10.1145/3628157openalex-snapshot
FormatFuzzer : Effective Fuzzing of Binary File Formats
inferred← citeshttps://doi.org/10.1145/3663529.3663790openalex-snapshot
Look Ma, No Input Samples! Mining Input Grammars from Code with Symbolic Parsing
inferred← citeshttps://doi.org/10.1145/3689795openalex-snapshot
Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration
inferred← citeshttps://doi.org/10.1145/3711902openalex-snapshot
Finding Information Leaks with Information Flow Fuzzing
inferred← citeshttps://doi.org/10.1145/3728915openalex-snapshot
FANDANGO: Evolving Language-Based Testing
inferred← citeshttps://doi.org/10.1145/3832783.3837479openalex-snapshot
Feature-Focused Test Generation
inferred← citeshttps://doi.org/10.1145/3845620openalex-snapshot
Neural Program Modeling Learning Program-Specific Models that Predict Execution Features from Input Features and vice versa
inferred← citeshttps://doi.org/10.18653/v1/2020.coling-main.269openalex-snapshot
When Beards Start Shaving Men: A Subject-object Resolution Test Suite for Morpho-syntactic and Semantic Model Introspection
inferred← citeshttps://doi.org/10.48550/arxiv.1911.07707openalex-snapshot
Building Fast Fuzzers
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.