TYCHE: Making Sense of Property-Based Testing Efectiveness
PROCEEDINGS OF THE 37TH ANNUAL ACM SYMPOSIUM ON USER INTERFACE SOFTWARE AND TECHNOLOGY, USIT 2024（2024）
关键词
Randomized testing,property-based testing (PBT),visual feedback,multiple program executions
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要