...
机译:2ndStrike:迈向隐式并发Typestate错误的表现
Reliability; Software Testing; Typestate Bugs; Concurrency Bugs;
机译:2ndStrike:向隐藏隐藏并发Typestate错误迈进
机译:2ndStrike:迈向隐式并发Typestate错误的表现
机译:AATT +:在Android应用程序中有效显示并发错误
机译:2ndStrike:向隐藏的并发Itypestate Bug展示
机译:云规模分布式系统中发现的并发性和可伸缩性错误
机译:叶脚臭虫具有多个隐藏的对比色信号但只有一个与身体尺寸增加相关
机译:并发在Java中的Typestate导向的编程