{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T06:14:10Z","timestamp":1773296050154,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2011,8,3]],"date-time":"2011-08-03T00:00:00Z","timestamp":1312329600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1007\/s11432-011-4368-7","type":"journal-article","created":{"date-parts":[[2011,8,2]],"date-time":"2011-08-02T09:22:00Z","timestamp":1312276920000},"page":"1797-1812","source":"Crossref","is-referenced-by-count":9,"title":["Strategies for scalable symbolic execution-driven test generation for programs"],"prefix":"10.1007","volume":"54","author":[{"given":"Saparya","family":"Krishnamoorthy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael S.","family":"Hsiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loganathan","family":"Lingappan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,8,3]]},"reference":[{"key":"4368_CR1","volume-title":"Art of Software Testing","author":"G. J. Myers","year":"1979","unstructured":"Myers G J. Art of Software Testing. New York: John Wiley & Sons, Inc., 1979"},{"key":"4368_CR2","unstructured":"Sen K. Marinov D, Agha G. CUTE: A concolic unit testing engine for C. In: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, New York, NY, USA, 2005. 263\u2013272"},{"key":"4368_CR3","unstructured":"Pacheco C, Ernst M D. Eclat: Automatic generation and classification of test inputs. In: Proceedings of the 19th European Conference Object-Oriented Programming, Glasgow, UK, 2005. 504\u2013527"},{"key":"4368_CR4","unstructured":"Godefroid P, Klarlund N, Sen K. DART: Directed automated random testing. In: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design And Implementation, New York, NY, USA, 2005. 213\u2013223"},{"key":"4368_CR5","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1049\/sej.1988.0029","volume":"3","author":"P. D. Coward","year":"1988","unstructured":"Coward P D. Symbolic execution systems\u2014a review. Softw Eng J, 1988, 3: 229\u2013239","journal-title":"Softw Eng J"},{"key":"4368_CR6","doi-asserted-by":"crossref","unstructured":"Burnim J, Sen K. Heuristics for scalable dynamic test generation. In: Proceedings of the 23rd IEEE\/ACM International Conference on Automated Software Engineering, L\u2019Aquila, Italy, 2008. 443\u2013446","DOI":"10.1109\/ASE.2008.69"},{"key":"4368_CR7","unstructured":"Boonstoppel P, Cadar C, Engler D R. RWset: Attacking path explosion in constraint-based test generation. In: Proceedings of the 14th International Conference on Tools and Algorithms for Construction and Analysis of Systems, Budapest, Hungary, 2008. 351\u2013366"},{"key":"4368_CR8","unstructured":"Technology B T. Who is Using BullseyeCoverage. http:\/\/www.bullseye.com\/successWho.html"},{"key":"4368_CR9","unstructured":"Technology B T. BullseyeCoverage-Measurement Technique. http:\/\/www.bullseye.com\/measurementTechnique.html"},{"key":"4368_CR10","doi-asserted-by":"crossref","unstructured":"Bardin S, Herrmann P. Pruning the search space in path-based test generation. In: Proceedings of the 2009 International Conference on Software Testing Verification and Validation, Washington DC, USA, 2009. 240\u2013249","DOI":"10.1109\/ICST.2009.15"},{"key":"4368_CR11","doi-asserted-by":"crossref","unstructured":"Majumdar R, Sen K. Hybrid concolic testing. In: Proceedings of the 29th International Conference on Software Engineering, Minneapolis, MN, USA, 2007. 416\u2013426","DOI":"10.1109\/ICSE.2007.41"},{"key":"4368_CR12","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/1455518.1455522","volume":"12","author":"C. Cadar","year":"2008","unstructured":"Cadar C, Ganesh V, Pawlowski P, et al. EXE: Automatically generating inputs of death. ACM Trans Inf Syst Secur, 2008, 12: 10","journal-title":"ACM Trans Inf Syst Secur"},{"key":"4368_CR13","unstructured":"Godefroid P, Levin M, Molnar D, et al. Automated whitebox fuzz testing. In: Proceedings of the Network and Distributed System Security Symposium, San Diego, CA, USA, 2008"},{"key":"4368_CR14","doi-asserted-by":"crossref","unstructured":"Godefroid P. Compositional dynamic test generation. In: Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New York, NY, USA, 2007. 47\u201354","DOI":"10.1145\/1190216.1190226"},{"key":"4368_CR15","unstructured":"Anand S, Godefroid P, Tillmann N. Demand-Driven Compositional Symbolic Execution. Technical Report MSR-TR 2007-138. 2008"},{"key":"4368_CR16","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1109\/12.769433","volume":"48","author":"J. Marques-Silva","year":"1999","unstructured":"Marques-Silva J, Sakallah K. GRASP: A search algorithm for propositional satisfiability. IEEE Trans Comput, 1999, 48: 506\u2013521","journal-title":"IEEE Trans Comput"},{"key":"4368_CR17","unstructured":"Ranise S, Tinelli C. The SMT-LIB Standard: Version 1.2. Technical Report, Department of Computer Science, The University of Iowa. 2006"},{"key":"4368_CR18","first-page":"19","volume-title":"Computer Aided Verification","author":"C. Barrett","year":"2004","unstructured":"Barrett C, Berezin S. CVC Lite: A new implementation of the cooperating validity checker category b. In: Computer Aided Verification. New York: Springer, 2004. 19\u201321"},{"key":"4368_CR19","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/978-3-540-70545-1_28","volume-title":"Computer Aided Verification","author":"R. Bruttomesso","year":"2008","unstructured":"Bruttomesso R, Cimatti A, Franz\u00e9n A, et al. The Mathsat 4 SMT solver. In: Computer Aided Verification. New York: Springer, 2008. 299\u2013303"},{"key":"4368_CR20","unstructured":"Dutertre B, De Moura L. The Yices SMT Solver. Tool paper at http:\/\/yices.csl.sri.com\/tool-paper.pdf , 2006"},{"key":"4368_CR21","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/11817963_11","volume-title":"Computer Aided Verification","author":"B. Dutertre","year":"2006","unstructured":"Dutertre B, De Moura L. A fast linear-arithmetic solver for DPLL (T). In: Computer Aided Verification. New York: Springer, 2006. 81\u201394"},{"key":"4368_CR22","unstructured":"Necula G C, McPeak S, Rahul S P, et al. CIL: Intermediate language and tools for analysis and transformation of C programs. In: Proceedings of the 11th International Conference on Compiler Construction, London, UK, 2002. 213\u2013228"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-011-4368-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-011-4368-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-011-4368-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T13:36:27Z","timestamp":1560432987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-011-4368-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,3]]},"references-count":22,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["4368"],"URL":"https:\/\/doi.org\/10.1007\/s11432-011-4368-7","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8,3]]}}}