Dynamic Testing Against Hidden Concurrency Bugs Through Abstraction And Projection
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC)（2016）
摘要
A Abstraction and projection are two fundamental strategies to handle complex situations. In this paper, we report our ongoing project on concurrency bugs detection with a focus on these two strategies applied to handle new issues in the test adequacy and test oracle problems encountered.
更多查看译文
关键词
testing,concurrency bug,multitthreaded program,abstraction,projection,test adequcy,test oracle
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要