---
title: "Generating Inputs for Grammar Mining using Dynamic Symbolic Execution"
url: https://daily.dev/posts/generating-inputs-for-grammar-mining-using-dynamic-symbolic-execution-gszqwugem
source_url: https://programming-journal.org/2025/10/16/
type: article
source: "The Programming Journal"
published: 2025-08-05T18:24:55.517Z
updated: 2025-08-05T18:25:13.427Z
tags: ["testing", "reverse-engineering"]
reading_time: 3
upvotes: 0
comments: 0
language: en
---

> ## Documentation Index
> Fetch the complete documentation index at: https://daily.dev/llms.txt
> Use this file to discover all available pages before exploring further.

# Generating Inputs for Grammar Mining using Dynamic Symbolic Execution

**[The Programming Journal](https://daily.dev/sources/programming-journal)** · 3 min read · 0 upvotes · 0 comments

## Summary

Researchers developed an automated approach for generating inputs to improve grammar mining from existing parsers. The method uses Dynamic Symbolic Execution with iterative expansion and a three-phase approach to overcome limitations when analyzing structured input parsers. Testing on eleven benchmark applications showed the technique achieves high precision and recall while uncovering edge cases typically missed by existing grammar miners like Mimid. This enables software engineers to automatically reconstruct specifications from legacy parsers without manual input generation.

## Full article

daily.dev links to this article rather than hosting it. Read it at the original source: <https://programming-journal.org/2025/10/16/>

## Similar posts on daily.dev

- [Don’t just attend KubeCon \+ CloudNativeCon, Merge Forward your experience\!](https://daily.dev/posts/don-t-just-attend-kubecon-cloudnativecon-merge-forward-your-experience--l0rpp73x8) · CNCF · 0 upvotes · 0 comments
- [Announcing H2 2026 KCDs](https://daily.dev/posts/announcing-h2-2026-kcds-m96goajm1) · CNCF · 1 upvotes · 0 comments
- [Two months of Open Community Groups](https://daily.dev/posts/two-months-of-open-community-groups-asf52zhbs) · CNCF · 0 upvotes · 0 comments
- [CNCF Unveils Schedule for KubeCon \+ CloudNativeCon Europe 2026](https://daily.dev/posts/cncf-unveils-schedule-for-kubecon-cloudnativecon-europe-2026-ikhcoa5cb) · CNCF · 2 upvotes · 0 comments
- [CNCF Debuts KubeCon \+ CloudNativeCon Japan 2026 Schedule](https://daily.dev/posts/cncf-debuts-kubecon-cloudnativecon-japan-2026-schedule-xp5pyudub) · CNCF · 1 upvotes · 0 comments

---

Tags: [#testing](https://daily.dev/tags/testing), [#reverse-engineering](https://daily.dev/tags/reverse-engineering)

[View this post on daily.dev](https://daily.dev/posts/generating-inputs-for-grammar-mining-using-dynamic-symbolic-execution-gszqwugem)