Input and Output Coverage Needed in File System Testing-Reference-Cited by-同舟云学术

Input and Output Coverage Needed in File System Testing

Published:2023-07-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 15th ACM Workshop on Hot Topics in Storage and File Systems
language:
Short-container-title:

Author:

Liu Yifei¹^ORCID,Ahuja Gautam²^ORCID,Kuenning Geoff³^ORCID,Smolka Scott²^ORCID,Zadok Erez¹^ORCID

Affiliation:

1. Stony Brook University, Stony Brook, New York, United States of America

2. Stony Brook University, Stony Brook, New York, USA

3. Harvey Mudd College, Claremont, California, United States of America

Funder

NSF (National Science Foundation)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3599691.3603405

Reference68 articles.

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