{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:18:40Z","timestamp":1743103120298,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642277047"},{"type":"electronic","value":"9783642277054"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-27705-4_23","type":"book-chapter","created":{"date-parts":[[2012,1,25]],"date-time":"2012-01-25T12:18:06Z","timestamp":1327493886000},"page":"294-309","source":"Crossref","is-referenced-by-count":7,"title":["Symbolic Execution Enhanced System Testing"],"prefix":"10.1007","author":[{"given":"Misty","family":"Davies","sequence":"first","affiliation":[]},{"given":"Corina S.","family":"P\u0103s\u0103reanu","sequence":"additional","affiliation":[]},{"given":"Vishwanath","family":"Raman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Acevedo, A., Arnold, J., Othon, W., Berndt, J.: ANTARES: Spacecraft simulation for multiple user communities and facilities. In: AIAA 2007\u20136888 Mod. and Sim. (2007)","key":"23_CR1","DOI":"10.2514\/6.2007-6888"},{"doi-asserted-by":"crossref","unstructured":"Pasareanu, C., Mehlitz, P., Bushnell, D., Gundy-Burlet, K., Lowry, M., Person, S., Pape, M.: Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. In: ISSTA (2008)","key":"23_CR2","DOI":"10.1145\/1390630.1390635"},{"doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: FSE (2005)","key":"23_CR3","DOI":"10.21236\/ADA482657"},{"doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: PLDI. ACM (2005)","key":"23_CR4","DOI":"10.1145\/1065010.1065036"},{"doi-asserted-by":"crossref","unstructured":"King, J.C.: Symbolic execution and program testing. CACM (1976)","key":"23_CR5","DOI":"10.1145\/360248.360252"},{"doi-asserted-by":"crossref","unstructured":"Menzies, T., Hu, Y.: Data mining for very busy people. IEEE Computer (2003)","key":"23_CR6","DOI":"10.1109\/MC.2003.1244531"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-540-31980-1_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Xie","year":"2005","unstructured":"Xie, T., Marinov, D., Schulte, W., Notkin, D.: Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 365\u2013381. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Cadar, C., Ganesh, V., Pawlowski, P.M., Dill, D.L., Engler, D.R.: EXE: automatically generating inputs of death. In: ACM CCS (2006)","key":"23_CR8","DOI":"10.1145\/1180405.1180445"},{"doi-asserted-by":"crossref","unstructured":"Elbaum, S., Chin, H.N., Dwyer, M.B., Dokulil, J.: Carving differential unit test cases from system test cases. In: FSE (2006)","key":"23_CR9","DOI":"10.1145\/1181775.1181806"},{"doi-asserted-by":"crossref","unstructured":"Sen, K.: Concolic testing. In: ASE (2007)","key":"23_CR10","DOI":"10.1145\/1321631.1321746"},{"doi-asserted-by":"crossref","unstructured":"Gay, G., Menzies, T., Davies, M., Gundy-Burlet, K.: Automatically finding the control variables for complex system behavior. In: ASE (2010)","key":"23_CR11","DOI":"10.1007\/s10515-010-0072-x"},{"doi-asserted-by":"crossref","unstructured":"Bay, S., Pazzani, M.: Detecting change in categorical data: Mining contrast sets. In: KDDM (1999)","key":"23_CR12","DOI":"10.1145\/312129.312263"},{"doi-asserted-by":"crossref","unstructured":"Agrawal, R., Imeilinski, T., Swami, A.: Mining association rules between sets of items in large databases. In: ACM SIGMOD (1993)","key":"23_CR13","DOI":"10.1145\/170035.170072"},{"unstructured":"Cai, C., Fu, A., Cheng, C., Kwong, W.: Mining association rules with weighted items. In: IDEAS (1998)","key":"23_CR14"},{"doi-asserted-by":"crossref","unstructured":"Holte, R.C.: Very simple classification rules perform well on most commonly used datasets. Machine Learning\u00a011 (1993)","key":"23_CR15","DOI":"10.1023\/A:1022631118932"},{"doi-asserted-by":"crossref","unstructured":"Kohavi, R., John, G.H.: Wrappers for feature subset selection. Artificial Intelligence (1997)","key":"23_CR16","DOI":"10.1016\/S0004-3702(97)00043-X"},{"doi-asserted-by":"crossref","unstructured":"Trefethen, L.N., David Bau, I.: Numerical linear algebra. SIAM (1997)","key":"23_CR17","DOI":"10.1137\/1.9780898719574"},{"unstructured":"Strang, G.: Linear algebra and its applications, 3rd edn. Thomson Learning (1988)","key":"23_CR18"},{"unstructured":"Burden, R.L., Faires, J.D.: Numerical analysis, 7th edn. Brooks\/Cole (2001)","key":"23_CR19"},{"unstructured":"Bartle, R.: The elements of real analysis, 2nd edn. John Wiley & Sons (1976)","key":"23_CR20"},{"unstructured":"Schumaker, L.L.: Spline functions: basic theory. Wiley Interscience (1981)","key":"23_CR21"},{"key":"23_CR22","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/52.536462","volume":"13","author":"D. Cohen","year":"1996","unstructured":"Cohen, D., Dalal, S., Parelius, J., Patton, G.: The combinatorial design approach to automatic test generation. IEEE Software\u00a013, 83\u201388 (1996)","journal-title":"IEEE Software"},{"doi-asserted-by":"crossref","unstructured":"Clause, J.A., Li, W., Orso, A.: Dytan: a generic dynamic taint analysis framework. In: ISSTA (2007)","key":"23_CR23","DOI":"10.1145\/1273463.1273490"},{"doi-asserted-by":"crossref","unstructured":"Necula, G.C., Mcpeak, S., Rahul, S.P., Weimer, W.: CIL: Intermediate language and tools for analysis and transformation of C programs. In: International Conference on Compiler Construction, pp. 213\u2013228 (2002)","key":"23_CR24","DOI":"10.1007\/3-540-45937-5_16"},{"unstructured":"Dutertre, B., Moura, L.D.: The YICES SMT solver. Technical report, SRI International (2006)","key":"23_CR25"},{"unstructured":"Finck, R.: USAF stability and control DATCOM. Technical Report AFWAL-TR-83-3048, USAF (1978)","key":"23_CR26"},{"unstructured":"Anderson, J.D.: Fundamentals of Aerodynamics, 3rd edn. Mc-Graw Hill (2001)","key":"23_CR27"},{"doi-asserted-by":"crossref","unstructured":"Gundy-Burlet, K., Schumann, J., Barrett, T., Menzies, T.: Parametric analysis of a hover test vehicle using advanced test generation and data analysis. In: AIAA Aerospace (2009)","key":"23_CR28","DOI":"10.2514\/6.2009-1935"},{"doi-asserted-by":"crossref","unstructured":"Dunietz, I., Ehrlich, W., Szablak, B., Mallows, C., Iannino, A.: Applying design of experiments to software testing: experience report. In: ICSE, pp. 205\u2013215 (1997)","key":"23_CR29","DOI":"10.1145\/253228.253271"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27705-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T12:37:59Z","timestamp":1556195879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27705-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642277047","9783642277054"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27705-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}