{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T05:34:52Z","timestamp":1673415292601},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2016,8,23]],"date-time":"2016-08-23T00:00:00Z","timestamp":1471910400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1007\/s11432-016-5589-6","type":"journal-article","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T15:47:03Z","timestamp":1472831223000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Automated coverage-driven testing: combining symbolic execution and model checking"],"prefix":"10.1007","volume":"59","author":[{"given":"Ting","family":"Su","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weikai","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jifeng","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhendong","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,23]]},"reference":[{"key":"5589_CR1","volume-title":"The Art of Software Testing","author":"G J Myers","year":"2004","unstructured":"Myers G J, Sandler C. The Art of Software Testing. Hoboken: John Wiley & Sons, 2004"},{"key":"5589_CR2","volume-title":"Planning Report 02-3.","author":"National Institute of StandardsTechnology.","year":"2004","unstructured":"National Institute of Standards and Technology. The Economic Impacts of Inadequate Infrastructure for Software Testing. Planning Report 02-3. 2004"},{"key":"5589_CR3","first-page":"99","volume-title":"Proceedings of the 14th International Symposium on Software Reliability Engineering, Denver","author":"P Ammann","year":"2003","unstructured":"Ammann P, Offutt A J, Huang H. Coverage criteria for logical expressions. In: Proceedings of the 14th International Symposium on Software Reliability Engineering, Denver, 2003. 99\u2013107"},{"key":"5589_CR4","volume-title":"A Survey on Data Flow Testing","author":"T Su","year":"2015","unstructured":"Su T, Wu K, Miao W, et al. A Survey on Data Flow Testing. Technical Report SU01. 2015"},{"key":"5589_CR5","first-page":"213","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. New York: ACM","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. New York: ACM, 2005. 213\u2013223"},{"key":"5589_CR6","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1109\/ICSE.2004.1317455","volume-title":"Proceedings of the 26th International Conference on Software Engineering, Edinburgh","author":"D Beyer","year":"2004","unstructured":"Beyer D, Chlipala A J, Henzinger T A, et al. Generating tests from counterexamples. In: Proceedings of the 26th International Conference on Software Engineering, Edinburgh, 2004. 326\u2013335"},{"key":"5589_CR7","first-page":"654","volume-title":"Proceedings of IEEE\/ACM 37th International Conference on Software Engineering, Florence","author":"T Su","year":"2015","unstructured":"Su T, Fu Z, Pu G, et al. Combining symbolic execution and model checking for data flow testing. In: Proceedings of IEEE\/ACM 37th International Conference on Software Engineering, Florence, 2015. 654\u2013665"},{"key":"5589_CR8","first-page":"98","volume-title":"Proceedings of the 8th International Conference on Software Security and Reliability (SERE), San Francisco","author":"T Su","year":"2014","unstructured":"Su T, Pu G, Fang B, et al. Automated coverage-driven test data generation using dynamic symbolic execution. In: Proceedings of the 8th International Conference on Software Security and Reliability (SERE), San Francisco, 2014. 98\u2013107"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-016-5589-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-016-5589-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-016-5589-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:54:55Z","timestamp":1498326895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-016-5589-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,23]]},"references-count":8,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["5589"],"URL":"https:\/\/doi.org\/10.1007\/s11432-016-5589-6","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,8,23]]},"article-number":"98101"}}