Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method 论文

1994IEEE Transactions on Software Engineering引用 266
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 selection based on communicating nondeterministic finite-state machines using a generalized Wp-method · 作者

A

Alexandre Petrenko

G

Gregor von Bochmann

G

Gang Luo