国际技术转让软件工具杂志，第23卷
第23卷第1期，2021年2月
乔治·吉安塔米迪斯 , 斯塔夫罗斯·特里帕基斯 , Stylianos Basagiannis公司 
:
从输入输出轨迹学习摩尔机器。 1-29 克里斯·阿尔文 , 布莱恩·彼得森 , Supratik Mukhopadhyay公司 :
UML序列图的静态生成。 31-53 岳源 , 李毅 , 文昌石 :
检测单路径线性约束回路的多相线性排序函数。 55-67 弗洛里安·坎米勒 , Axel Legay公司 , 斯特凡诺·席沃 :
通过将安全系统设计与安全风险评估相结合来掌握变化。 69-70 彼得罗·费拉拉 , 阿米特·克尔·曼达尔 , 阿戈斯蒂诺·科尔特斯 , 福斯托·斯波托 :
用于发现物联网漏洞的静态分析。 71-88 勒内·里多夫·汉森 , 金·古德斯特兰·拉森 , Axel Legay公司 , 彼得·杰勒·詹森 , 丹尼·鲍尔森 :
ADTLang：一种攻击防御树的编程语言方法。 89-104 弗拉基米尔·沙霍夫 , Insoo Koo先生 :
基于图的技术，用于IoT应用程序的生存性评估和优化。 105-114
第23卷第2期，2021年4月
奥马尔·阿尔哈维 , 赫伯特·罗查 , 米哈伊尔·加德尔哈 , 卢卡斯·科尔德罗 , 埃迪·巴蒂斯塔·德·利马·菲略 :
基于k-归纳和不变推理的C程序的验证和反驳。 115-135 拉斐尔·库里 , 西尔万·霍尔 , 扬尼克·勒布伦 :
基于LTL-FO的自动化监控 + . 137-154 马丁·勒克 , 克里斯蒂安·科伦坡 :
前言。 155-156 菲利佩·戈洛斯蒂亚加 , 塞萨尔·桑切斯 :
使用Striver语言对实时事件流进行流运行时验证。 157-183 约书亚·施耐德 , 大卫·A·巴思 , 弗雷德里克·布里克斯 , Srdan Krstic公司 , 德米特里·特拉泰尔 :
可扩展的在线一阶监控。 185-208 贾尔斯·雷格尔 , 大卫·E·瑞德海尔 :
从参数化跟踪切片到规则系统。 209-228 帕特里夏·鲍耶 , 莱奥·亨利 , 萨米·贾齐里 , 蒂埃里·杰伦 , 尼古拉斯·马基 :
使用定时标记诊断定时自动机。 229-253 伊利耶斯·法尔科内 , 斯丹·克里斯蒂 , 贾尔斯·雷格尔 , 德米特里·特拉泰尔 :
对运行时验证工具进行分类的分类。 255-284
第23卷第3期，2021年6月
雷内·哈内尔 , Wil M.P.van der Aalst先生 :
2019年FASE上介绍的自动化模型分析工具和技术。 285-287 阿图尔·博罗纳特 :
增量执行基于规则的模型转换。 289-311 德克·贝尔 , 玛丽·克里斯汀·雅各布斯 :
与CoVeriTest合作进行基于验证的测试。 313-333 拉尔斯·弗里奇 , 延斯·科西奥 , 安迪·舒尔 , 加布里埃尔·坦泽尔 :
避免不必要的信息丢失：基于三重图文法的正确有效的模型同步。 335-368 斯文·施奈德 , 利恩·兰伯斯 , 费尔南多·奥雷贾斯 :
一种基于逻辑的增量图修复方法，具有增量保留功能。 369-410 斯文·施奈德 , 玛丽亚·马克西莫娃 , 卢卡斯·萨基兹洛洛 , 霍尔格·吉斯 :
使用度量时序图逻辑对时序图转换系统进行形式化测试。 411-488 保罗·杜布鲁尔 , 尼古拉·科马托夫 , 克里斯托夫·加斯顿 , 阿尔诺·拉皮特 :
PolyGraph：具有频率算法的数据流模型。 489-517 保罗·杜布鲁尔 , 尼古拉·科马托夫 , 克里斯托弗·加斯顿 , 阿尔诺·拉皮特 :
更正为：PolyGraph：带有频率算法的数据流模型。 519
第23卷第4期，2021年8月
马库斯·弗洛姆 , 伯恩哈德·斯特芬 :
相互递归程序系统的组合学习。 521-543 伯恩德·芬克贝纳 , 莱昂纳多·马里亚尼 :
介绍第19届国际运行时核查会议专刊。 545-546 克劳斯·哈维隆德 , 多伦·贝利德 :
一阶LTL的扩展，带有应用程序到运行时验证的规则。 547-563 德扬·尼科维奇 , 辛琴 , 托马斯·费雷尔 , Cristinel Mateis公司 , Jyotirmoy Deshmukh公司 :
使用形状表达式指定和检测时间模式。 565-577 肖恩·考夫曼 , 克劳斯·哈维隆德 , 塞巴斯蒂安·费奇梅斯特 :
我们可以在不可靠的信道上监视什么？ 579-600 卢卡·埃特罗 , 伊恩·卡萨尔 , 阿德里安·弗兰卡兰扎 , Anna Ingólfsdóttir女士 :
比较受控系统合成和抑制实施。 601-614 卢卡·博托鲁西 , 弗朗西丝卡·凯罗利 , 尼古拉·保莱蒂 , 斯科特·斯莫尔卡 , 斯科特·斯托勒 :
神经预测监测以及频率法和贝叶斯法的比较。 615-640 赛义德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , 斯里拉姆·桑卡拉纳拉亚南 , 阿什图什·特里维迪 :
用神经网络定量估计侧通道泄漏。 641-654
第23卷第5期，2021年10月
达维德·科佩茨基 , 迈克尔·利贝凯特 , 斯特凡·诺约卡特 , 伯恩哈德·斯特芬 :
走向语言到语言的转换。 655-677 西蒙·布柳泽 , 卡氏帕纳吉奥蒂斯 , 萨德克·本萨勒姆 , 马丁·威辛 :
关于严格系统设计的方法和工具。 679-684 克里斯托斯·格隆帕诺波洛斯 , 安东尼奥斯·古利迪斯 , 阿纳斯塔西亚·马夫里杜 :
在TLA中指定和验证使用控制模型和策略 + . 685-700 边缘El Ballouli , 萨德克·本萨勒姆 , 马吕斯·博兹加 , 约瑟夫·西法基斯 :
编程动态可重构系统。 701-719 韩朴杰 , 翟正军 , 布莱恩·尼尔森 , 乌里克·尼曼 :
基于模型的ARINC-653分区调度优化。 721-740 斯特凡·布洛姆 , 赛义德·达拉比 , 玛丽克·赫斯曼 , 莫森野生动物园 :
纠正程序并行。 741-763 亚历克西奥斯·勒基迪斯 , 卡氏帕纳吉奥蒂斯 :
通过设计方面监控对物联网系统进行能量表征。 765-781 埃齐奥·巴托西 , Niveditha Manjunath公司 , 莱昂纳多·马里亚尼 , Cristinel Mateis公司 , 德扬·尼科维奇 :
CPSDebug：CPS模型中的自动故障解释。 783-796 纳塔莉·贝特朗 , 伊戈尔·科诺夫 , 玛丽亚娜·拉齐奇 , 约瑟夫·威德 :
在圆形对手下验证随机一致性算法。 797-821 纳塔莉·贝特朗 , 伊戈尔·康诺夫 , 玛丽亚娜·拉齐奇 , 约瑟夫·威德 :
更正：在圆形对手下验证随机一致性算法。 823 帕罗什·阿齐兹·阿卜杜拉 , 弗雷德里克·哈齐扎 , 卢卡斯·霍利克 , 本特·琼森 , 艾哈迈德·雷兹 :
更正：用于高度并发数据结构的集成规范和验证技术。 825 Jan-Divid Quesel公司 , 斯特凡·米奇 , Sarah M.Loos女士 , 尼科斯·阿雷奇加 , 安德烈·普拉泽 :
更正：如何使用KeYmaera建模和证明混合系统：安全教程。 827
第23卷第6期，2021年12月
德克·贝尔 , 玛丽克·赫斯曼 :
TOOLympics I：软件测试竞赛。 829-832 德克·贝尔 :
第一次国际软件测试竞赛。 833-846 玛丽·克里斯汀·雅各布斯 :
CoVeriTest：用于生成测试用例的交错值和谓词分析。 847-851 塞巴斯蒂安·鲁兰 , 马尔特·洛肖 , 奥利弗·费塞 , 安迪·舒尔 :
CPA/Tiger MGP：用于高效生成多目标测试套件的测试目标集分区。 853-856 米哈伊尔·加德尔哈 , 拉斐尔·梅内泽斯 , 卢卡斯·科尔德罗 :
ESBMC 6.1：使用有界模型检查自动生成测试用例。 857-861 卡罗琳·勒米厄 , 库什克森 :
FairFuzz-TC：针对罕见分支的模糊器。 863-866 克里斯蒂安·卡达尔 , 马丁·诺瓦克 :
2019年KLEE符号执行引擎。 867-870 托马斯·莱姆伯格 :
使用PRTest生成普通随机测试。 871-873 马雷克·查卢帕 , 马蒂娜·维托夫斯卡 , 托马斯·贾塞克 , 迈克尔·西马切克 , 简·斯特雷切克 :
共生6：通过切片和符号执行生成测试用例。 875-877 德克·贝尔 , 玛丽克·赫斯曼 , Fabrice Kordon公司 , 伯恩哈德·斯特芬 :
第二届奥运会：以正式方式进行的比赛。 879-881 克莱尔·德罗斯 , 卡洛·福里亚 , 玛丽克·赫斯曼 , 罗斯玛丽·莫纳汉 , 彼得·米勒 :
验证2019年：项目验证竞赛。 883-893 米哈拉·西希雷亚努 :
SL-COMP：求解器对分离逻辑的竞争。 895-903 阿尔特·米德尔多普 , 朱利安·纳格尔 , Kiraku Shintani公司 :
CoCo2019：第八届汇流比赛报告。 905-916 福尔克·豪瓦尔 , 马克·贾斯珀 , 麦芽木 , 大卫·施密特 , 伯恩哈德·斯特芬 :
RERS挑战：实现可控和可扩展的基准综合。 917-930 Fabrice Kordon公司 , 洛姆·梅桑·希拉 , 弗朗西斯·胡林·胡巴德 , 洛伊格·杰泽奎尔 , 艾曼纽尔·帕维奥德 :
利用2015年至2019年MCC的结果研究模型检查技术的效率。 931-952
