A. Torres et al., “Runtime Verification of Crypto APIs: An Empirical Study,”10.1109/tse.2023.3301660__IEEE Transactions on Software Engineering, vol. 49, no. 10, pp. 4510–4525, 2023, doi:10.1109/tse.2023.3301660 .
LibreCat: /record/46816
DOI: 10.1109/tse.2023.3301660

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

A. Dann, B. Hermann, and E. Bodden, “ModGuard: Identifying Integrity &;Confidentiality Violations in Java Modules,”10.1109/tse.2019.2931331__IEEE Transactions on Software Engineering, pp. 1–1, 2019, doi:10.1109/tse.2019.2931331 .
LibreCat: /record/14896
DOI: 10.1109/tse.2019.2931331

M. Lillack, C. Kästner, and E. Bodden, “Tracking Load-time Configuration Options,”10.1109/TSE.2017.2756048__IEEE Transactions on Software Engineering, vol. PP, no. 99, pp. 1–1, 2017, doi:10.1109/TSE.2017.2756048 .
LibreCat: /record/20557
DOI: 10.1109/TSE.2017.2756048

M. C. Platenius, A. Shaker, M. Becker, E. Hullermeier, and W. Schäfer, “Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic,” IEEE Transactions on Software Engineering, pp. 739–759, 2016.
LibreCat: /record/21638
DOI: 10.1109/tse.2016.2632115