Concepedia

Matthias Höschele

MH

4

Publications

212

Citations

4

H-Index

2014

Active since

Affiliations

Saarland University(Current)

Matthias Höschele is an author at Saarland University specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSoftware TestingAutomated ReasoningFuzzing

Publications per year

2014–2019

4

Publications

4

Mining input grammars from dynamic taints

Matthias Höschele, Andreas Zeller · 2016 · 121 citations

Engineering, Software Systems, Software Engineering +23

Parser-directed fuzzing

Björn Mathis, Rahul Gopinath, Michaël Mera et al. · 2019 · 48 citations

Engineering, Verification, Test Data Generation +17

Mining Input Grammars with AUTOGRAM

Matthias Höschele, Andreas Zeller · 2017 · 28 citations

Syntactic Parsing, Boolean Value, Engineering +26

XMLMate: evolutionary XML test generation

Nikolas Havrikov, Matthias Höschele, Juan Pablo Galeotti et al. · 2014 · 15 citations

Software Maintenance, Engineering, Verification +24

Rows per page

1–4 of 4