Testing file system implementations on layered models-Reference-Cited by-全球学者库

Testing file system implementations on layered models

Published:2020-06-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering
language:
Short-container-title:

Author:

Chen Dongjie¹,Jiang Yanyan¹,Xu Chang¹,Ma Xiaoxing¹,Lu Jian¹

Affiliation:

1. Nanjing University, Nanjing, China

Funder

National Key Research and Development Program of China

National Natural Science Foundation of China

Publisher

ACM

Link

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

Reference69 articles.

1. [n.d.]. Bug #317781: Ext4 Data Loss. https://bugs.launchpad.net/ubuntu/+source/linux/+bug/317781?comments=all. [n.d.]. Bug #317781: Ext4 Data Loss. https://bugs.launchpad.net/ubuntu/+source/linux/+bug/317781?comments=all.

2. [n.d.]. Debootstrap - Debian Wiki. https://wiki.debian.org/Debootstrap. [n.d.]. Debootstrap - Debian Wiki. https://wiki.debian.org/Debootstrap.

3. [n.d.]. Kernel: Add Kcov Code Coverage. https://lwn.net/Articles/671640/. [n.d.]. Kernel: Add Kcov Code Coverage. https://lwn.net/Articles/671640/.

4. [n.d.]. Linux Programmer's Manual UNLINK(2). http://man7.org/linux/man-pages/man2/unlink.2.html. [n.d.]. Linux Programmer's Manual UNLINK(2). http://man7.org/linux/man-pages/man2/unlink.2.html.

5. [n.d.]. Syzkaller. https://github.com/google/syzkaller. [n.d.]. Syzkaller. https://github.com/google/syzkaller.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Input and Output Coverage Needed in File System Testing;Proceedings of the 15th ACM Workshop on Hot Topics in Storage and File Systems;2023-07-09