Cited By
View all- Liu HJia ZLi SLei YYu YJiang YMao XLiao X(2024)Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling BugsProceedings of the ACM on Software Engineering10.1145/36607871:FSE(1796-1818)Online publication date: 12-Jul-2024
- Wang ZChen YZeng QCalandrino JTroncoso C(2023)PETProceedings of the 32nd USENIX Conference on Security Symposium10.5555/3620237.3620472(4193-4210)Online publication date: 9-Aug-2023
- Da Silva JIllarramendi MIriarte A(2023)Using Runtime Information of Controllers for Safe Adaptation at Runtime: A Process Mining ApproachComputer Safety, Reliability, and Security. SAFECOMP 2023 Workshops10.1007/978-3-031-40953-0_8(85-94)Online publication date: 14-Sep-2023
- Show More Cited By