1. Muhammad Hilmi Asyrofi , Zhou Yang , and David Lo . 2021 . Crossasr++: A modular differential testing framework for automatic speech recognition . In Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1575–1579 . Muhammad Hilmi Asyrofi, Zhou Yang, and David Lo. 2021. Crossasr++: A modular differential testing framework for automatic speech recognition. In Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1575–1579.
2. Coverage-Based Greybox Fuzzing as Markov Chain
3. Proportional sampling strategy: guidelines for software testing practitioners
4. 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 29th USENIX Security Symposium, USENIX Security 2020 , August 12-14, 2020. USENIX Association, 2325–2342. 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 29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020. USENIX Association, 2325–2342.
5. Koen Claessen and John Hughes . 2000 . QuickCheck: a lightweight tool for random testing of Haskell programs . In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP ’00) , Montreal, Canada , September 18-21, 2000. ACM, 268–279. Koen Claessen and John Hughes. 2000. QuickCheck: a lightweight tool for random testing of Haskell programs. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP ’00), Montreal, Canada, September 18-21, 2000. ACM, 268–279.