会员服务
Efficient dynamic model based testing using greedy test case selection
Arxiv
0+阅读 · 2023年5月1日
Unleashing the Power of Sound: Revisiting the Physics of Notations for Modelling with auditory symbols
Arxiv
0+阅读 · 2023年4月17日
Automata-Based Software Model Checking of Hyperproperties
Arxiv
0+阅读 · 2023年3月26日
参考链接
微信扫码咨询专知VIP会员
Top