Torres, A., Costa, P., Amaral, L., Pastro, J., Bonifácio, R., d’Amorim, M., Legunsen, O., Bodden, E., &; Dias Canedo, E. (2023). Runtime Verification of Crypto APIs: An Empirical Study. IEEE Transactions on Software Engineering, 49(10), 4510–4525.https://doi.org/10.1109/tse.2023.3301660 
LibreCat: /record/46816
DOI: 10.1109/tse.2023.3301660

Dann, A. P., Plate, H., Hermann, B., Ponta, S. E., &; Bodden, E. (2021). Identifying Challenges for OSS Vulnerability Scanners - A Study &;amp; Test Suite. IEEE Transactions on Software Engineering, 1–1.https://doi.org/10.1109/tse.2021.3101739 
LibreCat: /record/31132
DOI: 10.1109/tse.2021.3101739

Dann, A., Hermann, B., &; Bodden, E. (2019). ModGuard: Identifying Integrity &;Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering, 1–1.https://doi.org/10.1109/tse.2019.2931331 
LibreCat: /record/14896
DOI: 10.1109/tse.2019.2931331

Lillack, M., Kästner, C., &; Bodden, E. (2017). Tracking Load-time Configuration Options. IEEE Transactions on Software Engineering, PP(99), 1–1.https://doi.org/10.1109/TSE.2017.2756048 
LibreCat: /record/20557
DOI: 10.1109/TSE.2017.2756048

Platenius, M. C., Shaker, A., Becker, M., Hullermeier, E., &; Schäfer, W. (2016). Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic. IEEE Transactions on Software Engineering, 739–759.https://doi.org/10.1109/tse.2016.2632115 
LibreCat: /record/21638
DOI: 10.1109/tse.2016.2632115