4
Publications
159
Citations
4
H-Index
2017
Active since
Affiliations
Björn Mathis is an author at Helmholtz Center for Information Security specializing in automated reasoning, software engineering, and engineering.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningSoftware EngineeringVerificationFormal MethodsFormal Verification
Publications per year
2017–2020
4
4
Mining input grammars from dynamic control flow
Rahul Gopinath, Björn Mathis, Andreas Zeller · 2020 · 54 citations · Full text
Engineering, Formal Input Specification, Clone Detection +29
Björn Mathis, Rahul Gopinath, Michaël Mera et al. · 2019 · 48 citations
Detecting information flow by mutating input data
Björn Mathis, Vitalii Avdiienko, Ezekiel Soremekun et al. · 2017 · 31 citations
Learning input tokens for effective fuzzing
Björn Mathis, Rahul Gopinath, Andreas Zeller · 2020 · 26 citations · Full text
Rows per page
1–4 of 4