Send email Copy Email Address
PhD Student

Alexander Kampmann

Secure Mobile and Autonomous Systems Empirical & Behavioral Security

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Alexander Kampmann

Year 2020

2020-06-13

When does my Program do this? Learning Circumstances of Software Behavior

Conference / Medium

ESEC/FSE
ESEC/FSE 2020

Tags
Secure Mobile and Autonomous Systems Empirical & Behavioral Security
Authors
Download Visit Detail Page
2020-06-08

Abstracting Failure-Inducing Inputs

Conference / Medium

ISSTA
International Symposium on Software Testing and Analysis (ISSTA)ISSTA - ACM SIGSOFT International Symposium on Software Testing and Analysis

Tags
Secure Mobile and Autonomous Systems
Authors
Download Visit Detail Page

Year 2019

2019-06-24

Parser-Directed Fuzzing

Conference / Medium

PLDI
40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019)

Tags
Secure Mobile and Autonomous Systems
Authors
Download Visit Detail Page
2019-05

Carving Parameterized Unit Tests

Conference / Medium

ICSE
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

Tags
Reliable Security Guarantees Secure Mobile and Autonomous Systems
Authors
Download Visit Detail Page

Year 2017

2017-05

Local Analysis for Global Inputs

Conference / Medium

39th International Symposium on Software Engineering

Tags
Threat Detection and Defenses
Authors
Download Visit Detail Page
2017

Active Learning of Input Grammars

Article

CoRR

Tags
Empirical & Behavioral Security
Authors
Download Visit Detail Page

Year 2014

2014-01-01

JTACO: Test Execution for Faster Bounded Verification

Conference / Medium

Proc. of the 8th International Conference on Tests and Proofs (TAP 2014)

Tags
Empirical & Behavioral Security
Authors
Download Visit Detail Page