1. Code coverage analysis in practice for large systems
2. Ibrahim Umit Akgun , Geoff Kuenning , and Erez Zadok . 2020 . Re-Animator: Versatile High-Fidelity Storage-System Tracing and Replaying . In Proceedings of the 13th ACM International Systems and Storage Conference (SYSTOR '20) . ACM, Haifa, Israel, 61--74. Ibrahim Umit Akgun, Geoff Kuenning, and Erez Zadok. 2020. Re-Animator: Versatile High-Fidelity Storage-System Tracing and Replaying. In Proceedings of the 13th ACM International Systems and Storage Conference (SYSTOR '20). ACM, Haifa, Israel, 61--74.
3. Shaukat Ali , Paolo Arcaini , Xinyi Wang , and Tao Yue . 2021 . Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs . In Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, Porto de Galinhas, Brazil, 13--23 . Shaukat Ali, Paolo Arcaini, Xinyi Wang, and Tao Yue. 2021. Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. In Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, Porto de Galinhas, Brazil, 13--23.
4. Paul Ammann and Jeff Offutt . 2016. Introduction to Software Testing . Cambridge University Press , Cambridge, United Kingdom. Paul Ammann and Jeff Offutt. 2016. Introduction to Software Testing. Cambridge University Press, Cambridge, United Kingdom.
5. File Systems are Hard to Test --- Learning from Xfstests;Aota Naohiro;IEICE Transactions on Information and Systems,2019