Login / Signup

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

Hezhen LiuJiacheng YinChengqiang HuangHao LanZhi JinZheng ZhengXun Zhang
Published in: ISSREW (2023)
Keyphrases
  • sequence diagrams
  • formal verification
  • object oriented
  • petri net
  • model checking
  • model based testing
  • class diagrams
  • uml models
  • information systems
  • test cases
  • specification language
  • fault injection