![]()
陈祖希
-
硕士生导师
- 性别：男
- 学历：博士研究生
- 学位：工学博士学位
- 入职时间：2016-06-06
- 办公地点：机电楼A409
- 电子邮箱：3cde363b64d950af9857a002980229a800a62d10734988a28addb4494f2bfbbb7a9a1edb6c4203e2705c33d06aa38a279fd06040f881e87e69446984615bffd3ea0d55ad1927d9d75466f12f645f1a94c4e64c4a3402dbae947d7eeff1ce50ede2abe00472b60b437a8bbc1434689ca2c7d6a1914ee2842980e5f6c53e9e93f0
- 在职信息：在岗
访问量：
-
[1]基于变异的正则表达式反例测试串生成算法.软件学报,2023,
-
[2]基于ADT实例化和模型精化协同的轨道交通TACS系统Event-B开发方法.中国铁道科学【中国铁道学会高质量科技期刊T1级】,2023,
-
[3]Incremental Witness Generation for Branching-Time Logic CTL.IEEE Transactions on Reliability,2022,
-
[4]基于正时态测试器的实时分支时态逻辑符号化模型检测.软件学报,2022,
-
[5]Ensuring the Correctness of Regular Expressions: A Review.International Journal of Automation and Computing,2021,
-
[6]Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata.2019 International Symposium on Theoretical Aspects of Software Engineering (TASE2019),2019,
-
[7]Efficient encoding for bounded model checking of timed automata.IEEJ Transactions on Electrical and Electronic Engineering,2017,
