{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:03:10Z","timestamp":1746158590242,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642454219"},{"type":"electronic","value":"9783642454226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45422-6_1","type":"book-chapter","created":{"date-parts":[[2013,12,12]],"date-time":"2013-12-12T03:59:06Z","timestamp":1386820746000},"page":"3-15","source":"Crossref","is-referenced-by-count":2,"title":["Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage"],"prefix":"10.1007","author":[{"given":"TheAnh","family":"Do","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. C. M.","family":"Fong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Russel","family":"Pears","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison Wesley (2008)"},{"issue":"4","key":"1_CR2","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1007\/s11219-011-9150-y","volume":"19","author":"M. Baluda","year":"2011","unstructured":"Baluda, M., Braione, P., Denaro, G., Pezze, M.: Enhancing structural software coverage by incrementally computing branch executability. Software Quality Journal\u00a019(4), 725\u2013751 (2011)","journal-title":"Software Quality Journal"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1145\/800027.808445","volume-title":"Proceedings of the International Conference on Reliable Software","author":"R.S. Boyer","year":"1975","unstructured":"Boyer, R.S., Elspas, B., Levitt, K.N.: SELECT\u2013a formal system for testing and debugging programs by symbolic execution. In: Proceedings of the International Conference on Reliable Software, pp. 234\u2013245. ACM, New York (1975)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Binkley, D.W., Harman, M., Lakhotia, K.: FlagRemover: a testability transformation for transforming loop-assigned flags. ACM Transactions on Software Engineering and Methodology 20(3) (2011)","DOI":"10.1145\/2000791.2000796"},{"issue":"3","key":"1_CR5","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1147\/sj.223.0229","volume":"22","author":"D. Bird","year":"1983","unstructured":"Bird, D., Munoz, C.: Automatic generation of random self-checking test cases. IBM Systems Journal\u00a022(3), 229\u2013245 (1983)","journal-title":"IBM Systems Journal"},{"key":"1_CR6","unstructured":"British Standards Institute. BS 7925-1 Vocabulary of Terms in Software Testing (1998)"},{"key":"1_CR7","first-page":"443","volume-title":"Proceedings of the 23rd IEEE\/ACM International Conference on Automated Software Engineering","author":"J. Burnim","year":"2008","unstructured":"Burnim, J., Sen, K.: Heuristics for scalable dynamic test generation. In: Proceedings of the 23rd IEEE\/ACM International Conference on Automated Software Engineering, pp. 443\u2013446. IEEE Computer Society, Washington, DC (2008)"},{"key":"1_CR8","unstructured":"Cadar, C., Dunbar, D., Engler, D.: KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation. USENIX Association, Berkeley (2008)"},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"1066","DOI":"10.1145\/1985793.1985995","volume-title":"Proceedings of the 33rd International Conference on Software Engineering","author":"C. Cadar","year":"2011","unstructured":"Cadar, C., Godefroid, P., Khurshid, S., P\u0103s\u0103reanu, C.S., Sen, K., Tillmann, N., Visser, W.: Symbolic execution for software testing in practice: preliminary assessment. In: Proceedings of the 33rd International Conference on Software Engineering, pp. 1066\u20131071. ACM, New York (2011)"},{"issue":"3","key":"1_CR10","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TSE.1976.233817","volume":"2","author":"L.A. Clarke","year":"1976","unstructured":"Clarke, L.A.: A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering\u00a02(3), 215\u2013222 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Do, T.A., Fong, A.C.M., Pears, R.: Scalable automated test generation using coverage guidance and random search. In: Proceedings of the 7th International Workshop on Automation of Software Test, pp. 71\u201375 (2012)","DOI":"10.1109\/IWAST.2012.6228993"},{"issue":"1","key":"1_CR12","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"R. Ferguson","year":"1996","unstructured":"Ferguson, R., Korel, B.: The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology\u00a05(1), 63\u201386 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"1_CR13","first-page":"213","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"P. Godefroid","year":"2005","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 213\u2013223. ACM, New York (2005)"},{"key":"1_CR14","first-page":"35","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"S. Horwitz","year":"1988","unstructured":"Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 35\u201346. ACM, New York (1988)"},{"issue":"7","key":"1_CR15","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Communications of the ACM\u00a019(7), 385\u2013394 (1976)","journal-title":"Communications of the ACM"},{"issue":"2","key":"1_CR16","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P. McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: a survey. Software Testing, Verification & Reliability\u00a014(2), 105\u2013156 (2004)","journal-title":"Software Testing, Verification & Reliability"},{"issue":"1","key":"1_CR17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1162\/evco.2006.14.1.41","volume":"14","author":"P. McMinn","year":"2006","unstructured":"McMinn, P., Holcombe, M.: Evolutionary Testing Using an Extended Chaining Approach. Evolutionary Computation\u00a014(1), 41\u201364 (2006)","journal-title":"Evolutionary Computation"},{"key":"1_CR18","first-page":"195","volume-title":"Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"J. Offut","year":"1996","unstructured":"Offut, J., Hayes, J.: A Semantic Model of Program Faults. In: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 195\u2013200. ACM, New York (1996)"},{"key":"1_CR19","unstructured":"Pacheco, C.: Directed Random Testing. PhDDissertation, MIT Department of Electrical Engineering and Computer Science, Cambridge, Massachusetts (2009)"},{"key":"1_CR20","unstructured":"RTCA, Inc.: Document RTCA\/DO-178B. U.S. Department of Transportation, Federal Aviation Administration, Washington, D.C (1993)"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1145\/1081706.1081750","volume-title":"ESEC\/FSE-13","author":"K. Sen","year":"2005","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: ESEC\/FSE-13, pp. 263\u2013272. ACM, New York (2005)"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N. Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex\u2013white box test generation for.NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"key":"1_CR23","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/1007512.1007526","volume-title":"Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"W. Visser","year":"2004","unstructured":"Visser, W., P\u0103s\u0103reanu, C.S., Khurshid, S.: Test input generation with Java PathFinder. In: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 97\u2013107. ACM, New York (2004)"},{"key":"1_CR24","first-page":"439","volume-title":"Proceedings of the 5th International Conference on Software Engineering","author":"M. Weiser","year":"1981","unstructured":"Weiser, M.: Program slicing. In: Proceedings of the 5th International Conference on Software Engineering, pp. 439\u2013449. IEEE Press, Piscataway (1981)"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Xie, T., Tillmann, N., Halleux, P.D., Schulte, W.: Fitness-guided path exploration in dynamic symbolic execution. In: Proceedings of the IEEE\/IFIP International Conference on Dependable Systems and Networks, pp. 359\u2013368 (2009)","DOI":"10.1109\/DSN.2009.5270315"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45422-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T04:26:23Z","timestamp":1746073583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45422-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642454219","9783642454226"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45422-6_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}