{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:39:38Z","timestamp":1760027978178},"reference-count":35,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2019,2,1]]},"DOI":"10.1587\/transinf.2018edp7006","type":"journal-article","created":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T17:45:08Z","timestamp":1548956708000},"page":"269-279","source":"Crossref","is-referenced-by-count":3,"title":["File Systems are Hard to Test \u2014 Learning from Xfstests"],"prefix":"10.1587","volume":"E102.D","author":[{"given":"Naohiro","family":"AOTA","sequence":"first","affiliation":[{"name":"Keio University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenji","family":"KONO","sequence":"additional","affiliation":[{"name":"Keio University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","unstructured":"[1] A. Mathur, M. Cao, S. Bhattacharya, A. Dilger, A. Tomas, and L. Vivier, \u201cThe new ext4 filesystem: current status and future plans,\u201d Proceedings of Linux Symposium, pp.21-33, 2007."},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] O. Rodeh, J. Bacik, and C. Mason, \u201cBTRFS: The Linux B-Tree Filesystem,\u201d ACM Transactions on Storage, vol.9, no.3, pp.1-32, Aug. 2013. 10.1145\/2501620.2501623","DOI":"10.1145\/2501620.2501623"},{"key":"3","unstructured":"[3] A. Sweeney, D. Doucette, W. Hu, C. Anderson, M. Nishimoto, and G. Peck, \u201cScalability in the XFS File System,\u201d USENIX ATC, 1996."},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] N. Palix, G. Thomas, S. Saha, C. Calv\u00e8s, G. Muller, and J. Lawall, \u201cFaults in Linux 2.6,\u201d ACM Transactions on Computer Systems, vol.32, no.2, pp.1-40, June 2014. 10.1145\/2619090","DOI":"10.1145\/2619090"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] L. Lu, A.C. Arpaci-Dusseau, R.H. Arpaci-Dusseau, and S. Lu, \u201cA Study of Linux File System Evolution,\u201d ACM Transactions on Storage, vol.10, no.1, pp.1-32, Jan. 2014. 10.1145\/2560012","DOI":"10.1145\/2560012"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] H. Chen, D. Ziegler, T. Chajed, A. Chlipala, M.F. Kaashoek, and N. Zeldovich, \u201cUsing crash hoare logic for certifying the fscq file system,\u201d Proceedings of the 25th Symposium on Operating Systems Principles, SOSP '15, pp.18-37, ACM, 2015. 10.1145\/2815400.2815402","DOI":"10.1145\/2815400.2815402"},{"key":"7","unstructured":"[7] \u201c[patch] ext4: Fix data corruption caused by unwritten and delayed extents.\u201d http:\/\/article.gmane.org\/gmane.linux.kernel.stable\/131959."},{"key":"8","unstructured":"[8] sgi, \u201coss.sgi.com Git-xfs\/cmds\/xfstests.git\/summary.\u201d http:\/\/oss.sgi.com\/cgi-bin\/gitweb.cgi?p=xfs\/cmds\/xfstests.git;a=summary, 2014."},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] R. Gopinath, C. Jensen, and A. Groce, \u201cCode coverage for suite evaluation by developers,\u201d Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, New York, NY, USA, pp.72-82, ACM, 2014. 10.1145\/2568225.2568278","DOI":"10.1145\/2568225.2568278"},{"key":"10","unstructured":"[10] \u201cManpage\/mkfs.btrfs-btrfs Wiki.\u201d https:\/\/btrfs.wiki.kernel.org\/index.php\/Manpage\/mkfs.btrfs, 2018."},{"key":"11","unstructured":"[11] \u201ce2fsprogs\/mke2fs.conf.in at master tytso\/e2fsprogs.\u201d https:\/\/github.com\/tytso\/e2fsprogs\/blob\/master\/misc\/mke2fs.conf.in, 2018."},{"key":"12","unstructured":"[12] \u201cmke2fs(8)-Linux manual page.\u201d http:\/\/man7.org\/linux\/man-pages\/man8\/mke2fs.8.html, 2018."},{"key":"13","unstructured":"[13] \u201cmkfs.xfs(8)-Linux manual page.\u201d http:\/\/man7.org\/linux\/man-pages\/man8\/mkfs.xfs.8.html, 2018."},{"key":"14","unstructured":"[14] \u201cManpage\/btrfs(5)-btrfs Wiki.\u201d https:\/\/btrfs.wiki.kernel.org\/index.php\/Manpage\/btrfs(5)#MOUNT_OPTIONS, 2018."},{"key":"15","unstructured":"[15] \u201cext4(5)-Linux manual page.\u201d http:\/\/man7.org\/linux\/man-pages\/man5\/ext4.5.html, 2018."},{"key":"16","unstructured":"[16] \u201cxfs(5)-Linux manual page.\u201d http:\/\/man7.org\/linux\/man-pages\/man5\/xfs.5.html, 2018."},{"key":"17","unstructured":"[17] J.J. Bai, Y.P. Wang, J. Yin, and S.M. Hu, \u201cTesting error handling code in device drivers using characteristic fault injection,\u201d 2016 USENIX Annual Technical Conference (USENIX ATC 16), Denver, CO, pp.635-647, USENIX Association, 2016."},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] M.M. Swift, B.N. Bershad, and H.M. Levy, \u201cImproving the reliability of commodity operating systems,\u201d SIGOPS Oper. Syst. Rev., vol.37, no.5, pp.207-222, Oct. 2003. 10.1145\/1165389.945466","DOI":"10.1145\/1165389.945466"},{"key":"19","unstructured":"[19] \u201cBtrfs: add a incompatible format change for smaller metadata extent refs.\u201d https:\/\/lwn.net\/Articles\/542432\/."},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] G. Jin, L. Song, X. Shi, J. Scherpelz, and S. Lu, \u201cUnderstanding and detecting real-world performance bugs,\u201d Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, New York, NY, USA, pp.77-88, ACM, 2012. 10.1145\/2254064.2254075","DOI":"10.1145\/2254064.2254075"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] J. Zhang, L. Renganarayana, X. Zhang, N. Ge, V. Bala, T. Xu, and Y. Zhou, \u201cEncore: Exploiting system environment and correlation information for misconfiguration detection,\u201d Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '14, New York, NY, USA, pp.687-700, ACM, 2014. 10.1145\/2541940.2541983","DOI":"10.1145\/2541940.2541983"},{"key":"22","unstructured":"[22] J. He, D. Nguyen, A.C. Arpaci-dusseau, R.H. Arpaci-dusseau, W. Madison, and S. Clara, \u201cReducing File System Tail Latencies with Chopper,\u201d Proceedings of the 13th USENIX conference on File and Storage Technologies (FAST'15), 2015."},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] D. Fryer, K. San, R. Mahmood, T. Cheng, S. Benjamin, A. Goel, and A.D. Brown, \u201cRecon: Verifying File System Consistency at Runtime,\u201d Proceedings of the 10th USENIX conference on File and Storage Technologies (FAST'12), pp.7-20, 2012.","DOI":"10.1145\/2385603.2385608"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] J.C.M. Carreira, R. Rodrigues, G. Candea, and R. Majumdar, \u201cScalable testing of file system checkers,\u201d Proceedings of the 7th ACM european conference on Computer Systems-EuroSys '12, pp.239-252, ACM Press, April 2012. 10.1145\/2168836.2168861","DOI":"10.1145\/2168836.2168861"},{"key":"25","unstructured":"[25] J. Yang, C. Sar, and D. Engler, \u201cExplode: A lightweight, general system for finding serious storage system errors,\u201d Proceedings of the 7th Symposium on Operating Systems Design and Implementation, OSDI '06, pp.131-146, USENIX Association, 2006."},{"key":"26","doi-asserted-by":"publisher","unstructured":"[26] J. Yang, P. Twohey, D. Engler, and M. Musuvathi, \u201cUsing model checking to find serious file system errors,\u201d ACM Transactions on Computer Systems, vol.24, no.4, pp.393-423, Nov. 2006. 10.1145\/1189256.1189259","DOI":"10.1145\/1189256.1189259"},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] T. Ridge, D. Sheets, T. Tuerk, A. Giugliano, A. Madhavapeddy, and P. Sewell, \u201cSibylFS,\u201d Proceedings of the 25th Symposium on Operating Systems Principles-SOSP '15, pp.38-53, ACM Press, Oct. 2015. 10.1145\/2815400.2815411","DOI":"10.1145\/2815400.2815411"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] C. Min, S. Kashyap, B. Lee, C. Song, and T. Kim, \u201cCross-checking Semantic Correctness: The Case of Finding File System Bugs,\u201d Proceedings of the 25th Symposium on Operating Systems Principles-SOSP '15, pp.361-377, 2015. 10.1145\/2815400.2815422","DOI":"10.1145\/2815400.2815422"},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] G. Keller, T. Murray, S. Amani, L. O'Connor, Z. Chen, L. Ryzhyk, G. Klein, and G. Heiser, \u201cFile systems deserve verification too!,\u201d Proceedings of the Seventh Workshop on Programming Languages and Operating Systems-PLOS '13, pp.1-7, 2013. 10.1145\/2525528.2525530","DOI":"10.1145\/2525528.2525530"},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] S. Amani, A. Hixon, Z. Chen, C. Rizkallah, P. Chubb, L. O'Connor, J. Beeren, Y. Nagashima, J. Lim, T. Sewell, J. Tuong, G. Keller, T. Murray, G. Klein, and G. Heiser, \u201cCogent: Verifying high-assurance file system implementations,\u201d Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '16, New York, NY, USA, pp.175-188, ACM, 2016. 10.1145\/2872362.2872404","DOI":"10.1145\/2872362.2872404"},{"key":"31","unstructured":"[31] H. Sigurbjarnarson, J. Bornholt, E. Torlak, and X. Wang, \u201cPush-button verification of file systems via crash refinement,\u201d 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16), GA, pp.1-16, USENIX Association, 2016."},{"key":"32","unstructured":"[32] \u201cFuse. filesystem in userspace.\u201d https:\/\/github.com\/libfuse\/libfuse."},{"key":"33","doi-asserted-by":"publisher","unstructured":"[33] T. Harter, C. Dragga, M. Vaughn, A.C. Arpaci-Dusseau, and R.H. Arpaci-Dusseau, \u201cA File Is Not a File: Understanding the I\/O Behavior of Apple Desktop Applications,\u201d ACM Transactions on Computer Systems, vol.30, no.3, pp.1-39, 2012. 10.1145\/2324876.2324878","DOI":"10.1145\/2324876.2324878"},{"key":"34","doi-asserted-by":"crossref","unstructured":"[34] V. Atlidakis, J. Andrus, R. Geambasu, D. Mitropoulos, and J. Nieh, \u201cPOSIX abstractions in modern operating systems: The Old, the New, and the Missing,\u201d Proceedings of the Eleventh European Conference on Computer Systems-EuroSys '16, New York, New York, USA, pp.1-17, ACM Press, April 2016. 10.1145\/2901318.2901350","DOI":"10.1145\/2901318.2901350"},{"key":"35","unstructured":"[35] \u201cSQLite.\u201d https:\/\/www.sqlite.org\/."}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E102.D\/2\/E102.D_2018EDP7006\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T23:55:46Z","timestamp":1549065346000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E102.D\/2\/E102.D_2018EDP7006\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,1]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2018edp7006","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2,1]]}}}