1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2025★ 1 cited
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
Andreas Pointner, Josef Pichler, Herbert Prähofer
A vast number of software systems include components that parse and process structured input. In addition to programming languages, which are analyzed by compilers or interpreters,…
cs.SE2025
Inferring Attributed Grammars from Parser Implementations
Andreas Pointner, Josef Pichler, Herbert Prähofer
Software systems that process structured inputs often lack complete and up-to-date specifications, which specify the input syntax and the semantics of input processing. While gramm…