Concurrent bug patterns and how to test them 论文

2004引用 218
DOI
Formal Methods in VerificationSoftware Engineering ResearchSoftware Testing and Debugging Techniques
企业软件Software Engineering ResearchFormal Methods in VerificationSoftware Testing and Debugging Techniques
相关技术:Formal Methods in Verification
关系图谱

Concurrent bug patterns and how to test them · 作者

S

Shmuel Ur

Y

Y. Nir

E

Eitan Farchi