Cited By
View all- Bjørner KJudson SCano FGoldman DShoemaker NPiskac RKönighofer B(2023)Formal XAI via Syntax-Guided SynthesisBridging the Gap Between AI and Reality10.1007/978-3-031-46002-9_7(119-137)Online publication date: 23-Oct-2023
- Diaz-Rojas JOcharan-Hernandez JPerez-Arriaga JLimon X(2021)Web API Security Vulnerabilities and Mitigation Mechanisms: A Systematic Mapping Study2021 9th International Conference in Software Engineering Research and Innovation (CONISOFT)10.1109/CONISOFT52520.2021.00036(207-218)Online publication date: Oct-2021