Test cases generation from UML state diagrams 论文

1999IEE Proceedings - Software引用 223
DOI
Software Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchFormal Methods in Verification
Formal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
相关技术:Formal Methods in Verification
关系图谱

Test cases generation from UML state diagrams · 相关技术

相关技术

Formal Methods in Verification