1. AlDanial. 2017 . CLOC: Count Lines of Code . http://cloc.sourceforge.net/ AlDanial. 2017. CLOC: Count Lines of Code. http://cloc.sourceforge.net/
2. A randomized scheduler with probabilistic guarantees of finding bugs
3. Yan Cai and W. K. Chan . 2012. MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications . In Proceedings of the 34th International Conference on Software Engineering (ICSE ’12) . Zurich, Switzerland. Yan Cai and W. K. Chan. 2012. MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications. In Proceedings of the 34th International Conference on Software Engineering (ICSE ’12). Zurich, Switzerland.
4. Yan Cai , Shangru Wu , and W. K. Chan . 2014. ConLock: A Constraint-Based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs . In Proceedings of the 36th International Conference on Software Engineering (ICSE ’14) . Hyderabad, India. Yan Cai, Shangru Wu, and W. K. Chan. 2014. ConLock: A Constraint-Based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs. In Proceedings of the 36th International Conference on Software Engineering (ICSE ’14). Hyderabad, India.
5. Hongxu Chen , Shengjian Guo , Yinxing Xue , Yulei Sui , Cen Zhang , Yuekang Li , Haijun Wang , and Yang Liu . 2020 . MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs . In Proceedings of 29th USENIX Security Symposium (USENIX Security ’20) . Virtual Event, USA. Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui, Cen Zhang, Yuekang Li, Haijun Wang, and Yang Liu. 2020. MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs. In Proceedings of 29th USENIX Security Symposium (USENIX Security ’20). Virtual Event, USA.