@article{46816, author = {{Torres, Adriano and Costa, Pedro and Amaral, Luis and Pastro, Jonata and Bonifácio, Rodrigo and d'Amorim, Marcelo and Legunsen, Owolabi and Bodden, Eric and Dias Canedo, Edna}}, issn = {{0098-5589}}, journal = {{IEEE Transactions on Software Engineering}}, keywords = {{Software}}, number = {{10}}, pages = {{4510 -- 4525}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, title = {{{Runtime Verification of Crypto APIs: An Empirical Study}}}, doi = {{10.1109/tse.2023.3301660}}, volume = {{49}}, year = {{2023}}, } @article{31132, author = {{Dann, Andreas Peter and Plate, Henrik and Hermann, Ben and Ponta, Serena Elisa and Bodden, Eric}}, issn = {{0098-5589}}, journal = {{IEEE Transactions on Software Engineering}}, keywords = {{Software}}, pages = {{1--1}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, title = {{{Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite}}}, doi = {{10.1109/tse.2021.3101739}}, year = {{2021}}, } @article{14896, author = {{Dann, Andreas and Hermann, Ben and Bodden, Eric}}, issn = {{0098-5589}}, journal = {{IEEE Transactions on Software Engineering}}, pages = {{1--1}}, title = {{{ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules}}}, doi = {{10.1109/tse.2019.2931331}}, year = {{2019}}, } @article{21638, author = {{Platenius, Marie C. and Shaker, Ammar and Becker, Matthias and Hullermeier, Eyke and Schäfer, Wilhelm}}, issn = {{0098-5589}}, journal = {{IEEE Transactions on Software Engineering}}, pages = {{739--759}}, title = {{{Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic}}}, doi = {{10.1109/tse.2016.2632115}}, year = {{2016}}, }