{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:52:49Z","timestamp":1747806769862},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148071"},{"type":"electronic","value":"9783642148088"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14808-8_14","type":"book-chapter","created":{"date-parts":[[2010,8,21]],"date-time":"2010-08-21T05:52:01Z","timestamp":1282369921000},"page":"199-213","source":"Crossref","is-referenced-by-count":2,"title":["Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform"],"prefix":"10.1007","author":[{"given":"Yunho","family":"Kim","sequence":"first","affiliation":[]},{"given":"Moonzoo","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Nam","family":"Dang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: International Conference on Software Engineering, ICSE (2005)","DOI":"10.1145\/1062455.1062530"},{"key":"14_CR2","unstructured":"Burnim, J.: CREST - automatic test generation tool for C, http:\/\/code.google.com\/p\/crest\/"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Burnim, J., Sen, K.: Heuristics for scalable dynamic test generation. Technical Report UCB\/EECS-2008-123, EECS Department, University of California, Berkeley (September 2008)","DOI":"10.1109\/ASE.2008.69"},{"key":"14_CR4","unstructured":"Cadar, C., Dunbar, D., Engler, D.: KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: Operating System Design and Implementation, OSDI (2008)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11817963_11","volume-title":"Computer Aided Verification","author":"B. Dutertre","year":"2006","unstructured":"Dutertre, B., Moura, L.: A fast linear-arithmetic solver for DPLL(T). In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 81\u201394. Springer, Heidelberg (2006)"},{"key":"14_CR6","unstructured":"Amazon Elastic Compute Cloud (Amazon EC2), http:\/\/aws.amazon.com\/ec2\/"},{"key":"14_CR7","unstructured":"Ferreira, M.A., Silva, S.S., Oliveira, J.N.: Verifying Intel flash file system core specification. In: 4th VDM-Overture Workshop (2008)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: Directed automated random testing. In: Programming Language Design and Implementation, PLDI (2005)","DOI":"10.1145\/1065010.1065036"},{"key":"14_CR9","unstructured":"Godefroid, P., Levin, M.Y., Molnar, D.: Automated whitebox fuzz testing. In: Network and Distributed Systems Security (2008)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Kang, E., Jackson, D.: Formal modeling and analysis of a flash filesystem in Alloy. In: Abstract state machines, B and Z (2008)","DOI":"10.1007\/978-3-540-87603-8_23"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Kim, M., Choi, Y., Kim, Y., Kim, H.: Formal verification of a flash memory device driver - an experience report. In: Spin Workshop (2008)","DOI":"10.1007\/978-3-540-85114-1_12"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-10452-7_17","volume-title":"Formal Methods: Foundations and Applications","author":"M. Kim","year":"2009","unstructured":"Kim, M., Kim, Y.: Concolic testing of the multi-sector read operation for flash memory file system. In: Oliveira, M.V.M., Woodcock, J. (eds.) SBMF 2009. LNCS, vol.\u00a05902, pp. 251\u2013265. Springer, Heidelberg (2009)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Kim, M., Kim, Y., Kim, H.: Unit testing of flash memory device driver through a SAT-based model checker. In: Automated Software Engineering (ASE) (September 2008)","DOI":"10.1109\/ASE.2008.30"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"King, J.C.: Symbolic execution and program testing. Communications of the ACM\u00a019(7) (1976)","DOI":"10.1145\/360248.360252"},{"key":"14_CR15","unstructured":"Samsung OneNAND fusion memory, http:\/\/www.samsung.com\/global\/business\/semiconductor\/products\/fusionmemory\/Products_OneNAND.html"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: A concolic unit testing engine for C. In: European Software Engineering Conference\/Foundations of Software Engineering, ESEC\/FSE (2005)","DOI":"10.1145\/1081706.1081750"},{"key":"14_CR17","unstructured":"SMT-LIB: The satisfiability module theories library, http:\/\/combination.cs.uiowa.edu\/smtlib\/"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Tillmann, N., Schulte, W.: Parameterized unit tests. In: European Software Engineering Conference\/Foundations of Software Engineering, ESEC\/FSE (2005)","DOI":"10.1145\/1081706.1081749"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Visser, W., Pasareanu, C.S., Khurshid, S.: Test input generation with Java PathFinder. In: International Symposium on Software Testing and Analysis, ISSTA (2004)","DOI":"10.1145\/1007512.1007526"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14808-8_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:57:44Z","timestamp":1606168664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14808-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148071","9783642148088"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14808-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}