刘和珍等：基于UML序列图的故障注入和形式验证框架。(2023) conf/issre/LuYHLJZZ23 10.1109/ISSREW60843.2023.00045 基于UML序列图的故障注入和形式化验证框架。 7 刘和珍 1 嘉诚尹 2 黄成强 三 郝兰 4 织金 5 郑正 6 张勋 7 45-50 ISSREW公司 ISSREW公司 2023 2023 dblp记录“conf/issre/LuYHLJZZ23”的RDF数据的来源信息 2023-11-14T16:09:47+0100