刘和珍 嘉诚尹 黄成强 郝兰 织金 郑正 张勋 基于UML序列图的故障注入和形式化验证框架。 45-50 2023 ISSREW公司 https://doi.org/10.109/ISSREW60843.2023.00045 conf/issre/2023w db/conf/issre/isre2023w.html#LiuYHLJZZ23