Alexander Kampmann

According to our database, Alexander Kampmann authored at least 12 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Leveraging input features for testing and debugging / Alexander Kampmann ; Betreuer: Andreas Zeller.

Alexander Kampmann

PhD thesis, 2022

2021

Learning Circumstances of Software Failures.

Rahul Gopinath, Nikolas Havrikov, Alexander Kampmann, Ezekiel O. Soremekun, Andreas Zeller

Proceedings of the Software Engineering 2021, 2021

2020

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

Alexander Kampmann, Nikolas Havrikov, Ezekiel O. Soremekun, Andreas Zeller

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Abstracting failure-inducing inputs.

Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel O. Soremekun, Andreas Zeller

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

Bridging the Gap between Unit Test Generation and System Test Generation.

Alexander Kampmann, Andreas Zeller

CoRR, 2019

Parser-directed fuzzing.

Björn Mathis, Rahul Gopinath, Michaël Mera, Alexander Kampmann, Matthias Höschele, Andreas Zeller

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Carving parameterized unit tests.

Alexander Kampmann, Andreas Zeller

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Sample-Free Learning of Input Grammars for Comprehensive Software Fuzzing.

Rahul Gopinath, Björn Mathis, Matthias Höschele, Alexander Kampmann, Andreas Zeller

CoRR, 2018

2017

Active Learning of Input Grammars.

Matthias Höschele, Alexander Kampmann, Andreas Zeller

CoRR, 2017

Local analysis for global inputs.

Alexander Kampmann

Proceedings of the 39th International Conference on Software Engineering, 2017

2015

A Case-study of Automatic Participant Labeling.

Alexander Kampmann, Stefan Thater, Manfred Pinkal

Proceedings of the International Conference of the German Society for Computational Linguistics and Language Technology, 2015

2014

JTACO: Test Execution for Faster Bounded Verification.

Alexander Kampmann, Juan Pablo Galeotti, Andreas Zeller

Proceedings of the Tests and Proofs - 8th International Conference, 2014