Cited By
View all- Li KXue YChen SLiu HSun KHu MWang HLiu YChen Y(2024)Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?Proceedings of the ACM on Software Engineering10.1145/36607721:FSE(1447-1470)Online publication date: 12-Jul-2024
- Jin WXu SChen DHe JZhong DFan MChen HZhang HLiu TRoychoudhury APaiva AAbreu RStorey M(2024)PyAnalyzer: An Effective and Practical Approach for Dependency Extraction from Python CodeProceedings of the IEEE/ACM 46th International Conference on Software Engineering10.1145/3597503.3640325(1-12)Online publication date: 20-May-2024
- Shi JChen YLi QHuang YYang YZhao M(2024)Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic ExecutionIEEE Transactions on Computers10.1109/TC.2024.335128573:4(1048-1059)Online publication date: 1-Apr-2024
- Show More Cited By