Quicklinks
Decorative photo of one of the top-corners of the CISPA building
Portrait of Person: Alexander Kampmann

Alexander Kampmann (PhD Student)
 
 Campus E9 1 | 66123 Saarbrücken | 2.15

Publications:

Title Date Date Meta
Local Analysis for Global Inputs 2017  2017   Alexander Kampmann  39th International Symposium on Software Engineering
Active Learning of Input Grammars 2017  2017   Matthias Höschele, Alexander Kampmann, Andreas Zeller
JTACO: Test Execution for Faster Bounded Verification 2014  2014   Alexander Kampmann, Juan Pablo Galeotti, Andreas Zeller  Proc. of the 8th International Conference on Tests and Proofs (TAP 2014)