Author:
Ben-Asher Yosi,Eytani Yaniv,Farchi Eitan,Ur Shmuel
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12
2. Smart Interleavings for Testing Parallel Programs;Programming multi-core and many-core computing systems;2017-01-27
3. Radius aware probabilistic testing of deadlocks with guarantees;Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering;2016-08-25
4. Concurrency Testing Using Controlled Schedulers;ACM Transactions on Parallel Computing;2016-03-15
5. Dynamic Verification for Hybrid Concurrent Programming Models;Runtime Verification;2014