Software testing verification & reliability. 2012;22(6):0-0. doi: 10.1002/stvr.1467 Q31.52024

Scenario-based testing using symbolic animation of B models

使用B模型的符号动画进行基于场景的测试

DOI: 10.1002/stvr.1467

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！