4 citations · 5 across the 3 of their papers we have counts for
3 papers
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,…
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…
PASDA: A Partition-based Semantic Differencing Approach with Best Effort Classification of Undecided Cases
Johann Glock, Josef Pichler, Martin Pinzger
Equivalence checking is used to verify whether two programs produce equivalent outputs when given equivalent inputs. Research in this field mainly focused on improving equivalence…