{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:44Z","timestamp":1750307924253,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,11]],"date-time":"2007-03-11T00:00:00Z","timestamp":1173571200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,3,11]]},"DOI":"10.1145\/1244002.1244260","type":"proceedings-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:31Z","timestamp":1181140651000},"page":"1192-1196","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Virtual framework for testing the reliability of system software on embedded systems"],"prefix":"10.1145","author":[{"given":"Sung-Kwan","family":"Kim","sequence":"first","affiliation":[{"name":"Seoul National University, Seoul, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jongmoo","family":"Choi","sequence":"additional","affiliation":[{"name":"Dankook University, Seoul, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Donghee","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Seoul, Seoul, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam H.","family":"Noh","sequence":"additional","affiliation":[{"name":"Hongik University, Seoul, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sang Lyul","family":"Min","sequence":"additional","affiliation":[{"name":"Seoul National University, Seoul, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,3,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1241368"},{"key":"e_1_3_2_1_2_1","unstructured":"Understanding the Flash Translation Layer (FTL) Specification Intel Corporation 1998.  Understanding the Flash Translation Layer (FTL) Specification Intel Corporation 1998."},{"key":"e_1_3_2_1_3_1","volume-title":"An Efficient Cluster Allocation Scheme for NAND Flash Memory Based FAT File Systems,\" International Workshop on Software Support for Portable Storage","author":"Kim S. K.","year":"2005","unstructured":"S. K. Kim , D. H. Lee , and S. L. Min , \" An Efficient Cluster Allocation Scheme for NAND Flash Memory Based FAT File Systems,\" International Workshop on Software Support for Portable Storage , 2005 . S. K. Kim, D. H. Lee, and S. L. Min, \"An Efficient Cluster Allocation Scheme for NAND Flash Memory Based FAT File Systems,\" International Workshop on Software Support for Portable Storage, 2005."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.585157"},{"key":"e_1_3_2_1_5_1","first-page":"336","author":"Kanawati G. A.","year":"1992","unstructured":"5 . G. A. Kanawati , N. A. Kanawati , and J. A. Abraham , \"FERRARI: A Tool for the Validation of System Dependability Properties,\" In Proceedings of 22nd International Symposium on Fault-Tolerant Computing , 1992 , pp. 336 -- 344 . 5. G. A. Kanawati, N. A. Kanawati, and J. A. Abraham, \"FERRARI: A Tool for the Validation of System Dependability Properties,\" In Proceedings of 22nd International Symposium on Fault-Tolerant Computing, 1992, pp. 336--344.","journal-title":"\"FERRARI: A Tool for the Validation of System Dependability Properties,\" In Proceedings of 22nd International Symposium on Fault-Tolerant Computing"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.666826"},{"key":"e_1_3_2_1_7_1","first-page":"72","author":"Koopman P. J.","year":"1997","unstructured":"P. J. Koopman Jr ., J. Sung , C. P. Dingman , D. P. Siewiorek , and T. Marz , \"Comparing Operating Systems Using Robustness Benchmarks,\" Symposium on Reliable Distributed Systems , 1997 , pp. 72 -- 79 . P. J. Koopman Jr., J. Sung, C. P. Dingman, D. P. Siewiorek, and T. Marz, \"Comparing Operating Systems Using Robustness Benchmarks,\" Symposium on Reliable Distributed Systems, 1997, pp. 72--79.","journal-title":"\"Comparing Operating Systems Using Robustness Benchmarks,\" Symposium on Reliable Distributed Systems"},{"key":"e_1_3_2_1_8_1","first-page":"314","author":"Tsai T. K.","year":"1996","unstructured":"T. K. Tsai , R. K. Iyer , and D. Jewitt , \"An Approach towards Benchmarking of Fault-Tolerant Commercial Systems,\" Symposium on Fault Tolerant Computing , 1996 , pp. 314 -- 323 . T. K. Tsai, R. K. Iyer, and D. Jewitt, \"An Approach towards Benchmarking of Fault-Tolerant Commercial Systems,\" Symposium on Fault Tolerant Computing, 1996, pp. 314--323.","journal-title":"\"An Approach towards Benchmarking of Fault-Tolerant Commercial Systems,\" Symposium on Fault Tolerant Computing"},{"key":"e_1_3_2_1_9_1","volume-title":"Samsung Electronics","author":"Flash Memory NAND","year":"2004","unstructured":"NAND Flash Memory and SmartMedia Data Book , Samsung Electronics , Co ., 2004 . NAND Flash Memory and SmartMedia Data Book, Samsung Electronics, Co., 2004."},{"key":"e_1_3_2_1_10_1","unstructured":"Implementing MLC NAND Flash for Cost-Effective High-Capacity Memory M-Systems 2003  Implementing MLC NAND Flash for Cost-Effective High-Capacity Memory M-Systems 2003"}],"event":{"name":"SAC07: The 2007 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Seoul Korea","acronym":"SAC07"},"container-title":["Proceedings of the 2007 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244260","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1244002.1244260","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:51:42Z","timestamp":1750258302000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244260"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,11]]},"references-count":10,"alternative-id":["10.1145\/1244002.1244260","10.1145\/1244002"],"URL":"https:\/\/doi.org\/10.1145\/1244002.1244260","relation":{},"subject":[],"published":{"date-parts":[[2007,3,11]]},"assertion":[{"value":"2007-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}