Items where Author is "Kampmann, Alexander"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 8.

Havrikov, Nikolas and Kampmann, Alexander and Zeller, Andreas
(2022) From Input Coverage to Code Coverage: Systematically Covering Input Structure with k-Paths.
ACM Transactions on Software Engineering and Methodology. ISSN 1049-331X
(Submitted)

Kampmann, Alexander and Havrikov, Nikolas and Soremekun, Ezekiel and Zeller, Andreas
(2020) When does my Program do this? Learning Circumstances of Software Behavior.
In: ESEC/FSE 2020.
Conference: ESEC/FSE European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (formerly listed as ESEC)
(In Press)

Gopinath, Rahul and Kampmann, Alexander and Havrikov, Nikolas and Soremekun, Ezekiel and Zeller, Andreas
(2020) Abstracting Failure-Inducing Inputs.
In: ISSTA - ACM SIGSOFT International Symposium on Software Testing and Analysis, Sat 18 - Wed 22 July 2020, Virtual.
Conference: ISSTA International Symposium on Software Testing and Analysis

Mathis, Björn and Gopinath, Rahul and Mera, Michaël and Kampmann, Alexander and Höschele, Matthias and Zeller, Andreas
(2019) Parser-Directed Fuzzing.
In: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019), Sat 22 - Wed 26 June 2019, Phoenix, Arizona, United States.
Conference: PLDI ACM-SIGPLAN Conference on Programming Language Design and Implementation
(In Press)

Kampmann, Alexander and Zeller, Andreas
(2019) Carving Parameterized Unit Tests.
In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), May 2019, Montreal.
Conference: ICSE International Conference on Software Engineering

Kampmann, Alexander
(2017) Local Analysis for Global Inputs.
In: 39th International Symposium on Software Engineering, May 20-28, 2017, Buenos Aires.

Höschele, Matthias and Kampmann, Alexander and Zeller, Andreas
(2017) Active Learning of Input Grammars.
CoRR, abs/17.

Kampmann, Alexander and Galeotti, Juan Pablo and Zeller, Andreas
(2014) JTACO: Test Execution for Faster Bounded Verification.
In: Proc. of the 8th International Conference on Tests and Proofs (TAP 2014).

This list was generated on Thu Nov 21 13:01:20 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.