Paper Publications

• [1]Parallel Path Detection for Fraudulent Accounts in Banks based on Graph Analysis.PeerJ Computer Science【SCI检索】,2023,
• [2]基于Event-B与ADT实例化的TACS形式化开发方法.中国铁道科学【中国铁道学会高质量科技期刊T1级】,2023,44(6):
• [3]基于变异的正则表达式反例测试串生成算法.软件学报【中国计算机学会高水平期刊中文A类】,2023,
• [4]基于正时态测试器的实时分支时态逻辑符号化模型检测.软件学报【中国计算机学会高水平期刊中文A类】,2022,
• [5]Incremental Witness Generation for Branching-Time Logic CTL.IEEE Transactions on Reliability【SCI检索】,2022,
• [6]Ensuring the Correctness of Regular Expressions: A Review.International Journal of Automation and Computing【SCI检索】,2021,
• [7]Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata.2019 International Symposium on Theoretical Aspects of Software Engineering【中国计算机学会高水平会议C类】,2019,
• [8]Efficient encoding for bounded model checking of timed automata.IEEJ Transactions on Electrical and Electronic Engineering【SCI检索】,2017,