Concepedia

Alexander Kampmann

AK

5

Publications

158

Citations

5

H-Index

2018

Active since

Affiliations

Helmholtz Center for Information Security(Current)

Alexander Kampmann is an author at Helmholtz Center for Information Security specializing in engineering, test generation, and software testing.

Top concepts

EngineeringVerificationFormal MethodsTest AutomationTest GenerationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification

Publications per year

2018–2020

5

Publications

5

Microstructural Characterization of the Anisotropy and Cyclic Deformation Behavior of Selective Laser Melted AlSi10Mg Structures

Mustafa Awd, Felix Stern, Alexander Kampmann et al. · Metals · 2018 · 51 citations · Full text

Materials Science, Advanced Laser Processing, Engineering +14

Parser-directed fuzzing

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

Engineering, Verification, Test Data Generation +17

When does my program do this? learning circumstances of software behavior

Alexander Kampmann, Nikolas Havrikov, Ezekiel Soremekun et al. · 2020 · 23 citations · Full text

Abstracting failure-inducing inputs

Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov et al. · 2020 · 22 citations · Full text

Carving Parameterized Unit Tests

Alexander Kampmann, Andreas Zeller · 2019 · 14 citations

Mathematical Programming, Engineering, Verification +21

Rows per page

1–5 of 5