陈祖希
开通时间:..
最后更新时间:..
点击次数:
发表刊物:软件学报【中国计算机学会高水平期刊中文A类】
是否译文:否
发表时间:2022-08-02
收录刊物:EI
第一作者:骆翔宇, 黄欣玥, 古天龙, 苏开乐, 陈祖希, 郑黎晓
上一条:基于变异的正则表达式反例测试串生成算法
下一条:Incremental Witness Generation for Branching-Time Logic CTL