On the public citation graph

A sentence generator for testing parsers

https://doi.org/10.1007/bf01932308

0 signed · 161 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.1109/swat.1966.22openalex-snapshot

Simple deterministic languages

inferredcites →https://doi.org/10.1145/1460833.1460869openalex-snapshot

A general test data generator for COBOL

inferredcites →https://doi.org/10.1145/362619.362625openalex-snapshot

Simple LR(k) grammars

inferredcites →https://doi.org/10.1145/365153.365162openalex-snapshot

EULER: A generalization of ALGOL and its formal definition: Part 1

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/sec.714openalex-snapshot

Structurized grammar‐based fuzz testing for programs with highly structured inputs

inferred← citeshttps://doi.org/10.1002/spe.2278openalex-snapshot

A dynamic stochastic model for automatic grammar‐based test generation

inferred← citeshttps://doi.org/10.1002/spe.2290openalex-snapshot

RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications

inferred← citeshttps://doi.org/10.1002/spe.423openalex-snapshot

Semi‐automatic grammar recovery

inferred← citeshttps://doi.org/10.1002/spe.4380101104openalex-snapshot

Compiler testing using a sentence generator

inferred← citeshttps://doi.org/10.1002/spe.4380130911openalex-snapshot

A sentence generator for a compiler for PT, a pascal subset

inferred← citeshttps://doi.org/10.1002/spe.4380190106openalex-snapshot

Independent testing of compiler phases using a test case generator

inferred← citeshttps://doi.org/10.1002/stvr.1526openalex-snapshot

A random testing approach using pushdown automata

inferred← citeshttps://doi.org/10.1002/stvr.4370040204openalex-snapshot

The automated generation of test cases for compilers

inferred← citeshttps://doi.org/10.1007/11754008_2openalex-snapshot

Controllable Combinatorial Coverage in Grammar-Based Testing

inferred← citeshttps://doi.org/10.1007/3-540-45314-8_15openalex-snapshot

Grammar Testing

inferred← citeshttps://doi.org/10.1007/978-0-585-34714-1_5openalex-snapshot

Test Case Generation as an AI Planning Problem

inferred← citeshttps://doi.org/10.1007/978-3-030-15032-7_40openalex-snapshot

Quantifying the Limitations of Learning-Assisted Grammar-Based Fuzzing

inferred← citeshttps://doi.org/10.1007/978-3-030-29157-0_14openalex-snapshot

Automatic Test Data Generation for a Given Set of Applications Using Recurrent Neural Networks

inferred← citeshttps://doi.org/10.1007/978-3-030-64437-6_11openalex-snapshot

Stack-Driven Program Generation of WebAssembly

inferred← citeshttps://doi.org/10.1007/978-3-030-71500-7_14openalex-snapshot

SpecTest: Specification-Based Compiler Testing

inferred← citeshttps://doi.org/10.1007/978-3-030-73128-1_4openalex-snapshot

CORG: A Component-Oriented Synthetic Textual Requirements Generator

inferred← citeshttps://doi.org/10.1007/978-3-031-09827-7_7openalex-snapshot

Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing

inferred← citeshttps://doi.org/10.1007/978-3-031-94578-6_2openalex-snapshot

Language-Based Testing for Knowledge Graphs

inferred← citeshttps://doi.org/10.1007/978-3-319-08789-4_1openalex-snapshot

On the Usage of TGGs for Automated Model Transformation Testing

inferred← citeshttps://doi.org/10.1007/978-3-319-09940-8_10openalex-snapshot

Combining Stochastic Grammars and Genetic Programming for Coverage Testing at the System Level

inferred← citeshttps://doi.org/10.1007/978-3-319-21215-9_5openalex-snapshot

Verifying Code Generation Tools for the B-Method Using Tests: A Case Study

inferred← citeshttps://doi.org/10.1007/978-3-319-33693-0_27openalex-snapshot

Fuzzing JavaScript Engine APIs

inferred← citeshttps://doi.org/10.1007/978-3-319-91908-9_24openalex-snapshot

Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances

inferred← citeshttps://doi.org/10.1007/978-3-540-30203-2_15openalex-snapshot

Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-69100-6_20openalex-snapshot

Testing Metamodels

inferred← citeshttps://doi.org/10.1007/978-3-642-21768-5_10openalex-snapshot

A Random Testing Approach Using Pushdown Automata

inferred← citeshttps://doi.org/10.1007/978-3-642-28830-2_18openalex-snapshot

Comparison of Context-Free Grammars Based on Parsing Generated Test Data

inferred← citeshttps://doi.org/10.1007/978-90-481-3658-2_79openalex-snapshot

Testing Grammars For Top-Down Parsers

inferred← citeshttps://doi.org/10.1007/s10009-015-0387-9openalex-snapshot

Systematic synthesis of delta modeling languages

inferred← citeshttps://doi.org/10.1007/s10664-006-9025-1openalex-snapshot

Input validation analysis and testing

inferred← citeshttps://doi.org/10.1007/s10664-008-9067-7openalex-snapshot

Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software

inferred← citeshttps://doi.org/10.1007/s10664-015-9422-4openalex-snapshot

Generating valid grammar-based test inputs by means of genetic programming and annotated grammars

inferred← citeshttps://doi.org/10.1007/s11086-005-0040-6openalex-snapshot

Generation of Positive and Negative Tests for Parsers

inferred← citeshttps://doi.org/10.1007/s11219-020-09537-8openalex-snapshot

Exposing bugs in JavaScript engines through test transplantation and differential testing

inferred← citeshttps://doi.org/10.1016/0743-1066(90)90053-8openalex-snapshot

Mockingbird: A logical methodology for testing

inferred← citeshttps://doi.org/10.1016/0950-5849(90)90003-aopenalex-snapshot

Automatic software test generation

inferred← citeshttps://doi.org/10.1016/0950-5849(95)01055-6openalex-snapshot

The automatic generation of test cases for optimizing Fortran compilers

inferred← citeshttps://doi.org/10.1016/b978-0-12-396525-7.00002-2openalex-snapshot

Modeling, Analysis, and Testing of System Vulnerabilities

inferred← citeshttps://doi.org/10.1016/bs.adcom.2017.06.004openalex-snapshot

Advances in Model-Based Testing of Graphical User Interfaces

inferred← citeshttps://doi.org/10.1016/j.comnet.2024.110605openalex-snapshot

Stateful black-box fuzzing for encryption protocols and its application in IPsec

inferred← citeshttps://doi.org/10.1016/j.cose.2018.02.002openalex-snapshot

A systematic review of fuzzing techniques

inferred← citeshttps://doi.org/10.1016/j.infsof.2014.09.007openalex-snapshot

Generating semantically valid test inputs using constrained input grammars

inferred← citeshttps://doi.org/10.1016/j.jss.2011.04.023openalex-snapshot

An automated approach to reducing test suites for testing retargeted C compilers for embedded systems

inferred← citeshttps://doi.org/10.1016/j.jss.2024.112067openalex-snapshot

Spectrum-based rule- and item-level localization of faults in context-free grammars

inferred← citeshttps://doi.org/10.1016/j.jss.2024.112068openalex-snapshot

Grammar-based test suite construction using coverage-directed algorithms over LR-graphs

inferred← citeshttps://doi.org/10.1016/j.scico.2014.07.010openalex-snapshot

Grammar Zoo: A corpus of experimental grammarware

inferred← citeshttps://doi.org/10.1016/j.scico.2026.103465openalex-snapshot

Mutation-based fuzzer for the swift compiler

inferred← citeshttps://doi.org/10.1016/s0020-7373(82)80062-xopenalex-snapshot

The use of software tools for dialogue design

inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60285-5openalex-snapshot

Using Domain Models for System Testing

inferred← citeshttps://doi.org/10.1016/s0950-5849(97)00017-7openalex-snapshot

Compiler test case generation methods: a survey and assessment

inferred← citeshttps://doi.org/10.1016/s0950-5849(98)00075-5openalex-snapshot

Testing syntax and semantic coverage of Java language compilers

inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80924-1openalex-snapshot

Prological Language Processing

inferred← citeshttps://doi.org/10.1017/s1351324911000076openalex-snapshot

Using regular tree grammars to enhance sentence realisation

inferred← citeshttps://doi.org/10.1023/a:1008607721339openalex-snapshot

Test Case Generation as an AI Planning Problem

inferred← citeshttps://doi.org/10.1023/a:1021686406575openalex-snapshot

AI Planner Assisted Test Generation

inferred← citeshttps://doi.org/10.1093/comjnl/bxy110openalex-snapshot

Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions

inferred← citeshttps://doi.org/10.1093/comjnl/bxy137openalex-snapshot

String Generation for Testing Regular Expressions

inferred← citeshttps://doi.org/10.1109/24.855534openalex-snapshot

Generating test-cases from an object-oriented model with an artifical-intelligence planning system

inferred← citeshttps://doi.org/10.1109/aero.1999.790192openalex-snapshot

Trade-offs in planner representation for automated software testing

inferred← citeshttps://doi.org/10.1109/apsec65559.2024.00029openalex-snapshot

Exploring Depths of WebAudio: Advancing Greybox Fuzzing for Vulnerability Detection in Safari

inferred← citeshttps://doi.org/10.1109/ase.2017.8115618openalex-snapshot

Learn&Fuzz: Machine learning for input fuzzing

inferred← citeshttps://doi.org/10.1109/ase.2019.00027openalex-snapshot

Systematically Covering Input Structure

inferred← citeshttps://doi.org/10.1109/asew60602.2023.00025openalex-snapshot

Static Test Case Prioritization Strategies for Grammar-Based Testing

inferred← citeshttps://doi.org/10.1109/ast.2019.00010openalex-snapshot

Fully Automated Compiler Testing of a Reasoning Engine via Mutated Grammar Fuzzing

inferred← citeshttps://doi.org/10.1109/cmpsac.2004.1342847openalex-snapshot

Test criteria for context-free grammars

inferred← citeshttps://doi.org/10.1109/compsac.2009.193openalex-snapshot

A Sentence Generation Algorithm for Testing Grammars

inferred← citeshttps://doi.org/10.1109/icis.2009.193openalex-snapshot

A Systematic Framework for Grammar Testing

inferred← citeshttps://doi.org/10.1109/icoia.2013.6650258openalex-snapshot

GramFuzz: Fuzzing testing of web browsers based on grammar analysis and structural mutation

inferred← citeshttps://doi.org/10.1109/icse55347.2025.00130openalex-snapshot

IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation

inferred← citeshttps://doi.org/10.1109/icst.2011.31openalex-snapshot

Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing

inferred← citeshttps://doi.org/10.1109/icst.2012.107openalex-snapshot

Generating String Test Data for Code Coverage

inferred← citeshttps://doi.org/10.1109/icst.2012.148openalex-snapshot

Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing

inferred← citeshttps://doi.org/10.1109/icst46399.2020.00015openalex-snapshot

Language-Agnostic Generation of Compilable Test Programs

inferred← citeshttps://doi.org/10.1109/icst49551.2021.00044openalex-snapshot

Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types

inferred← citeshttps://doi.org/10.1109/icst57152.2023.00059openalex-snapshot

Mining Attributed Input Grammars and their Applications in Fuzzing

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/icstw.2013.32openalex-snapshot

Random Grammar-Based Testing for Covering All Non-terminals

inferred← citeshttps://doi.org/10.1109/icstw.2015.7107406openalex-snapshot

Covering both stack and states while testing push-down systems

inferred← citeshttps://doi.org/10.1109/icstw.2017.38openalex-snapshot

Test Case Generation with Regular Expressions and Combinatorial Techniques

inferred← citeshttps://doi.org/10.1109/icstw.2019.00065openalex-snapshot

Coverage-Guided Learning-Assisted Grammar-Based Fuzzing

inferred← citeshttps://doi.org/10.1109/icstw50294.2020.00025openalex-snapshot

Optimizing decision making in concolic execution using reinforcement learning

inferred← citeshttps://doi.org/10.1109/icstw50294.2020.00039openalex-snapshot

On Using Ontologies for Testing Compilers

inferred← citeshttps://doi.org/10.1109/issre.1999.809325openalex-snapshot

Increased software reliability through input validation analysis and testing

inferred← citeshttps://doi.org/10.1109/issre.1999.809330openalex-snapshot

Generating test cases from an OO model with an AI planning system

inferred← citeshttps://doi.org/10.1109/issre.2000.885871openalex-snapshot

Planner based error recovery testing

inferred← citeshttps://doi.org/10.1109/qrs54544.2021.00042openalex-snapshot

TAF: a Tool for Diverse and Constrained Test Case Generation

inferred← citeshttps://doi.org/10.1109/qrs60937.2023.00043openalex-snapshot

Scope-based Compiler Differential Testing

inferred← citeshttps://doi.org/10.1109/seep.1996.533997openalex-snapshot

Automated testing using executable formal specifications

inferred← citeshttps://doi.org/10.1109/sefm.2010.21openalex-snapshot

A Toolkit for Generating Sentences from Context-Free Grammars

inferred← citeshttps://doi.org/10.1109/sp.2014.15openalex-snapshot

Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations

inferred← citeshttps://doi.org/10.1109/spw.2018.00026openalex-snapshot

Deep Reinforcement Fuzzing

inferred← citeshttps://doi.org/10.1109/ssiri.2010.23openalex-snapshot

A Formal Framework for Mutation Testing

inferred← citeshttps://doi.org/10.1109/tase.2013.31openalex-snapshot

Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver

inferred← citeshttps://doi.org/10.1109/telfor.2013.6716357openalex-snapshot

Automated testing of L-IRL robot programming language parser

inferred← citeshttps://doi.org/10.1109/tse.1982.235428openalex-snapshot

An Automatic Generator for Compiler Testing

inferred← citeshttps://doi.org/10.1109/tse.2007.70708openalex-snapshot

Systematic Testing of Model-Based Code Generators

inferred← citeshttps://doi.org/10.1109/tse.2008.72openalex-snapshot

Interface Grammars for Modular Software Model Checking

inferred← citeshttps://doi.org/10.1109/tse.2009.54openalex-snapshot

Reverse Engineering Input Syntactic Structure from Program Execution and Its Applications

inferred← citeshttps://doi.org/10.1109/tse.2014.2360690openalex-snapshot

Exploiting Model Morphology for Event-Based Testing

inferred← citeshttps://doi.org/10.1109/tse.2019.2942921openalex-snapshot

A Survey on Adaptive Random Testing

inferred← citeshttps://doi.org/10.1109/tse.2023.3343716openalex-snapshot

DaNuoYi: Evolutionary Multitask Injection Testing on Web Application Firewalls

inferred← citeshttps://doi.org/10.1134/s0361768808060054openalex-snapshot

Using abstract models for the generation of test data with a complex structure

inferred← citeshttps://doi.org/10.1134/s0361768808060066openalex-snapshot

Automation of broad sanity test generation

inferred← citeshttps://doi.org/10.1145/1072997.1073000openalex-snapshot

Toward an engineering discipline for grammarware

inferred← citeshttps://doi.org/10.1145/1101908.1101926openalex-snapshot

An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software

inferred← citeshttps://doi.org/10.1145/1101908.1101969openalex-snapshot

yagg

inferred← citeshttps://doi.org/10.1145/1287624.1287651openalex-snapshot

Automated testing of refactoring engines

inferred← citeshttps://doi.org/10.1145/1292414.1292424openalex-snapshot

Random testing

inferred← citeshttps://doi.org/10.1145/1390832.1390839openalex-snapshot

Client and server verification for web services using interface grammars

inferred← citeshttps://doi.org/10.1145/1993316.1993532openalex-snapshot

Finding and understanding bugs in C compilers

inferred← citeshttps://doi.org/10.1145/1993498.1993532openalex-snapshot

Finding and understanding bugs in C compilers

inferred← citeshttps://doi.org/10.1145/2338966.2336798openalex-snapshot

Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator

inferred← citeshttps://doi.org/10.1145/2484313.2484372openalex-snapshot

Fuzzing the ActionScript virtual machine

inferred← citeshttps://doi.org/10.1145/2731186.2731198openalex-snapshot

Application of Domain-aware Binary Fuzzing to Aid Android Virtual Machine Testing

inferred← citeshttps://doi.org/10.1145/2817817.2731198openalex-snapshot

Application of Domain-aware Binary Fuzzing to Aid Android Virtual Machine Testing

inferred← citeshttps://doi.org/10.1145/3062341.3062349openalex-snapshot

Synthesizing program input grammars

inferred← citeshttps://doi.org/10.1145/3140587.3062349openalex-snapshot

Synthesizing program input grammars

inferred← citeshttps://doi.org/10.1145/3236024.3236037openalex-snapshot

Feedback-directed differential testing of interactive debuggers

inferred← citeshttps://doi.org/10.1145/3238147.3238177openalex-snapshot

ContractFuzzer: fuzzing smart contracts for vulnerability detection

inferred← citeshttps://doi.org/10.1145/3276604.3276619openalex-snapshot

An industrial case study in compiler testing (tool demo)

inferred← citeshttps://doi.org/10.1145/3278122.3278133openalex-snapshot

Regenerate: a language generator for extended regular expressions

inferred← citeshttps://doi.org/10.1145/3278186.3278193openalex-snapshot

Grammarinator: a grammar-based open source fuzzer

inferred← citeshttps://doi.org/10.1145/3360581openalex-snapshot

Compiler fuzzing: how much does it matter?

inferred← citeshttps://doi.org/10.1145/3363562openalex-snapshot

A Survey of Compiler Testing

inferred← citeshttps://doi.org/10.1145/3393934.3278133openalex-snapshot

Regenerate: a language generator for extended regular expressions

inferred← citeshttps://doi.org/10.1145/3416504.3424335openalex-snapshot

RIVER 2.0: an open-source testing framework using AI techniques

inferred← citeshttps://doi.org/10.1145/3426425.3426938openalex-snapshot

Test case generation from context-free grammars using generalized traversal of LR-automata

inferred← citeshttps://doi.org/10.1145/3460319.3464803openalex-snapshot

Fuzzing SMT solvers via two-dimensional input space exploration

inferred← citeshttps://doi.org/10.1145/3486608.3486902openalex-snapshot

Vision: bias in systematic grammar-based test suite construction algorithms

inferred← citeshttps://doi.org/10.1145/3519939.3523457openalex-snapshot

Interpreter-guided differential JIT compiler unit testing

inferred← citeshttps://doi.org/10.1145/3576915.3623166openalex-snapshot

PyRTFuzz: Detecting Bugs in Python Runtimes via Two-Level Collaborative Fuzzing

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/3663529.3663864openalex-snapshot

Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler

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/3759427.3760378openalex-snapshot

Property-Based Testing of OCaml 5’s Runtime System

inferred← citeshttps://doi.org/10.1145/3820756.3844912openalex-snapshot

How Grammar-Based Synthetic Data Shapes Behavior Learning

inferred← citeshttps://doi.org/10.1145/3832783.3837479openalex-snapshot

Feature-Focused Test Generation

inferred← citeshttps://doi.org/10.1145/3837062.3839052openalex-snapshot

Quality Management for Deterministic Code Generators

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.14232/phd.10100openalex-snapshot

Fuzz Testing and Test Case Reduction

inferred← citeshttps://doi.org/10.14722/ndss.2019.23412openalex-snapshot

NAUTILUS: Fishing for Deep Bugs with Grammars

inferred← citeshttps://doi.org/10.14778/3357377.3357382openalex-snapshot

APOLLO

inferred← citeshttps://doi.org/10.15514/syrcose-2014-8-20openalex-snapshot

One Approach to Automated Compiler Verification

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.31799/1684-8853-2022-6openalex-snapshot

inferred← citeshttps://doi.org/10.31799/1684-8853-2022-6-31-40openalex-snapshot

Backend Bug Finder — a platform for effective compiler fuzzing

inferred← citeshttps://doi.org/10.36227/techrxiv.15131721openalex-snapshot

Introducing a Pure Weight-Based Concept for Automatic Test Case Generators

inferred← citeshttps://doi.org/10.36227/techrxiv.15131721.v1openalex-snapshot

Introducing a Pure Weight-Based Concept for Automatic Test Case Generators

inferred← citeshttps://doi.org/10.36227/techrxiv.15131721.v2openalex-snapshot

Introducing a Pure Weight-Based Concept for Automatic Test Case Generators

inferred← citeshttps://doi.org/10.3745/kipsta.2009.16-a.4.245openalex-snapshot

Test Suit Generation System for Retargetable C Compilers

inferred← citeshttps://doi.org/10.4018/ijiit.2017040102openalex-snapshot

Language Relationship Model for Automatic Generation of Tamil Stories from Hints

inferred← citeshttps://doi.org/10.4028/www.scientific.net/amm.602-605.1749openalex-snapshot

The Research and Application of the Variant Fuzz Testing Framework for Log Based on the Structured Data

inferred← citeshttps://doi.org/10.51983/ajcst-2018.7.2.1865openalex-snapshot

A Sound Assessment of Test Suite Minimization Techniques

inferred← citeshttps://doi.org/10.5753/sblp.2025.12264openalex-snapshot

On the Practicality of LLM-Based Compiler Fuzzing

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.