A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams.

Hezhen Liu, Jiacheng Yin, Chengqiang Huang, Hao Lan, Zhi Jin, Zheng Zheng, Xun Zhang

Browse the full ISSRE paper archive.