Stefan Krüger
TitleCited byYear
Jumping through hoops: why do Java developers struggle with cryptography APIs?
S Nadi, S Krüger, M Mezini, E Bodden
Proceedings of the 38th International Conference on Software Engineering …, 2016
962016
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
S Krüger, J Späth, K Ali, E Bodden, M Mezini
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
252018
CogniCrypt: Supporting Developers in Using Cryptography
S Krüger, S Nadi, M Reif, K Ali, M Mezini, E Bodden, F Göpfert, F Günther, ...
Proceedings of the 32nd IEEE/ACM International Conference on Automated …, 2017
252017
Variability hiding in contracts for dependent software product lines
T Thüm, T Winkelmann, R Schröter, M Hentschel, S Krüger
Proceedings of the tenth international workshop on variability modelling of …, 2016
152016
VisuFlow: a Debugging Environment for Static Analyses
L Nguyen, S Krüger, P Hill, K Ali, E Bodden
ACM, 2018
42018
Variability Modeling of Cryptographic Components: Clafer Experience Report
S Nadi, S Krüger
Proceedings of the Tenth International Workshop on Variability Modelling of …, 2016
42016
Tool support for contracts in FeatureIDE
F Proksch, S Krüger
Universitäts-und Landesbibliothek Sachsen-Anhalt, 2014
42014
Debugging Static Analysis
LNQ Do, S Krüger, P Hill, K Ali, E Bodden
IEEE Transactions on Software Engineering, 2018
32018
VisuFlow
LNQ Do, S Krüger, P Hill, K Ali, E Bodden
22017
Feature-oriented contract composition
T Thüm, A Knüppel, S Krüger, S Bolle, I Schaefer
Journal of Systems and Software 152, 83-107, 2019
12019
VISUFLOW: a debugging environment for static analyses
LNQ Do, S Krüger, P Hill, K Ali, E Bodden
Proceedings of the 40th International Conference on Software Engineering …, 2018
12018
The Impact of Developer Experience in Using Java Cryptography
M Hazhirpasand, M Ghafari, S Krüger, E Bodden, O Nierstrasz
2019 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2019
2019
Can an online service predict gender?: on the state-of-the-art in gender identification from texts
S Krüger, B Hermann
Proceedings of the 2nd International Workshop on Gender Equality in Software …, 2019
2019
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact)
S Krüger, J Späth, K Ali, E Bodden, M Mezini
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–14