Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4 Publications
2023 | Journal Article | LibreCat-ID: 46816
Torres A, Costa P, Amaral L, et al. Runtime Verification of Crypto APIs: An Empirical Study. IEEE Transactions on Software Engineering. 2023;49(10):4510-4525. doi:10.1109/tse.2023.3301660
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 31132
Dann AP, Plate H, Hermann B, Ponta SE, Bodden E. Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite. IEEE Transactions on Software Engineering. Published online 2021:1-1. doi:10.1109/tse.2021.3101739
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 14896
Dann A, Hermann B, Bodden E. ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering. Published online 2019:1-1. doi:10.1109/tse.2019.2931331
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 21638
Platenius MC, Shaker A, Becker M, Hullermeier E, Schäfer W. Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic. IEEE Transactions on Software Engineering. 2016:739-759. doi:10.1109/tse.2016.2632115
LibreCat
| DOI