{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T18:53:31Z","timestamp":1687805611904},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,5,30]],"date-time":"2011-05-30T00:00:00Z","timestamp":1306713600000},"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":[[2012,1]]},"DOI":"10.1007\/s11432-011-4291-y","type":"journal-article","created":{"date-parts":[[2011,5,30]],"date-time":"2011-05-30T09:50:38Z","timestamp":1306749038000},"page":"171-183","source":"Crossref","is-referenced-by-count":6,"title":["Black-box testing based on colorful taint analysis"],"prefix":"10.1007","volume":"55","author":[{"given":"Kai","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DengGuo","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PuRui","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YingJun","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,5,30]]},"reference":[{"key":"4291_CR1","volume-title":"Proceedings of the 16th Annual Network and Distributed System Security Symposium","author":"P. Godefroid","year":"2008","unstructured":"Godefroid P, Levin M Y, Molnar D. Automated whitebox fuzz testing. In: Proceedings of the 16th Annual Network and Distributed System Security Symposium. Virginia: Internet Society, 2008"},{"key":"4291_CR2","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1145\/948109.948149","volume-title":"Proceedings of the 10th ACM Conference on Computer and Communications Security","author":"C. Linn","year":"2003","unstructured":"Linn C, Debray S. Obfuscation of executable code to improve resistance to static disassembly. In: Proceedings of the 10th ACM Conference on Computer and Communications Security. New York: ACM, 2003. 290\u2013299"},{"key":"4291_CR3","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/1180405.1180445","volume-title":"Proceedings of the 13th ACM Conference on Computer and Communications Security","author":"C. Cadar","year":"2006","unstructured":"Cadar C, Ganesh V, Pawlowski P M, et al. EXE: automatically generating inputs of death. In: Proceedings of the 13th ACM Conference on Computer and Communications Security. New York: ACM, 2006. 322\u2013335"},{"key":"4291_CR4","unstructured":"Molnar D A, Wagner D. Catchconv: Symbolic Execution and Run-Time Type Inference for Integer Conversion Errors. Technical Report UCB\/EECS-2007-23. 2007"},{"key":"4291_CR5","unstructured":"Ghosh A K, O\u2019Connor T, McGraw G. Automated approach for identifying potential vulnerabilities in software. In: Proceedings of the IEEE Symposium on Security and Privacy, 1998. 104\u2013114"},{"key":"4291_CR6","volume-title":"Fuzzing: Brute Force Vulnerability Discovery","author":"M. Sutton","year":"2007","unstructured":"Sutton M, Greene A, Amini P. Fuzzing: Brute Force Vulnerability Discovery. Massachusetts: Addison-Wesley Professional, 2007"},{"key":"4291_CR7","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/1375581.1375607","volume-title":"Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"P. Godefroid","year":"2008","unstructured":"Godefroid P, Kiezun A, Levin M Y. Grammar-based whitebox fuzzing. In: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation. New York: ACM, 2008. 206\u2013215"},{"key":"4291_CR8","unstructured":"Wagner D, Foster J, Brewer E, et al. A first step towards automated detection of buffer overrun vulnerabilities. In: Proceedings of the 2000 Network and Distributed Security Symposium, ISOC, 2000. 3\u201317"},{"key":"4291_CR9","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/52.976940","volume":"19","author":"D. Evans","year":"2002","unstructured":"Evans D, Larochelle D. Improving security using extensible lightweight static analysis. IEEE Softw, 2002, 19: 42\u201351","journal-title":"IEEE Softw"},{"key":"4291_CR10","first-page":"201","volume-title":"Detecting format string vulnerabilities with type qualifiers. In: Proceedings of the 10th USENIX Security Symposium","author":"U. Shankar","year":"2001","unstructured":"Shankar U, Talwar K, Foster J S, et al. Detecting format string vulnerabilities with type qualifiers. In: Proceedings of the 10th USENIX Security Symposium. Berkeley: USENIX Association, 2001. 201\u2013216"},{"key":"4291_CR11","first-page":"269","volume-title":"Proceedings of the Annual Computer Security Applications Conference","author":"M. Cova","year":"2006","unstructured":"Cova M, Felmetsger V, Banks G, et al. Static detection of vulnerabilities in x86 executables. In: Proceedings of the Annual Computer Security Applications Conference. Washington: IEEE Computer Society, 2006. 269\u2013278"},{"key":"4291_CR12","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/11513988_13","volume-title":"Proceedings of 17th International Conference of Computer Aided Verification","author":"Y. Xie","year":"2005","unstructured":"Xie Y, Aiken A. Saturn: a SAT-based tool for bug detection. In: Proceedings of 17th International Conference of Computer Aided Verification. Berlin: Springer, 2005. 139\u2013143"},{"key":"4291_CR13","first-page":"474","volume-title":"Proceedings of 31st International Conference on Software Engineering","author":"V. Ganesh","year":"2009","unstructured":"Ganesh V, Leek T, Rinard M. Taint-based directed whitebox fuzzing. In: Proceedings of 31st International Conference on Software Engineering. Washington: IEEE Computer Society, 2009. 474\u2013484"},{"key":"4291_CR14","unstructured":"Newsome J, Song D. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In: Proceedings of the 12th Annual Network and Distributed System Security Symposium, 2005"},{"key":"4291_CR15","first-page":"263","volume-title":"Proceedings of the IEEE Symposium on Security and Privacy","author":"P. Akritidis","year":"2008","unstructured":"Akritidis P, Cadar C, Raiciu C, et al. Preventing memory error exploits with WIT. In: Proceedings of the IEEE Symposium on Security and Privacy. Washington: IEEE Computer Society, 2008. 263\u2013277"},{"key":"4291_CR16","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/1508244.1508252","volume-title":"Proceeding of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"M. Dimitrov","year":"2009","unstructured":"Dimitrov M, Zhou H. Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging. In: Proceeding of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems. New York: ACM, 2009. 61\u201372"},{"key":"4291_CR17","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/ICST.2009.36","volume-title":"Proceedings of the 2009 International Conference on Software Testing Verification and Validation","author":"M. Gegick","year":"2009","unstructured":"Gegick M, Rotella P, Williams L. Predicting attack-prone components. In: Proceedings of the 2009 International Conference on Software Testing Verification and Validation. Washington: IEEE Computer Society, 2009. 181\u2013190"},{"key":"4291_CR18","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/1370788.1370793","volume-title":"Proceedings of the 4th International Workshop on Predictor Models in Software Engineering","author":"Y. Jiang","year":"2008","unstructured":"Jiang Y, Cuki B, Menzies T, et al. Comparing design and code metrics for software quality prediction. In: Proceedings of the 4th International Workshop on Predictor Models in Software Engineering. New York: ACM, 2008. 11\u201318"},{"key":"4291_CR19","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser M. Program slicing. IEEE Trans Softw Engin, 1984, 10: 352\u2013357","journal-title":"IEEE Trans Softw Engin"},{"key":"4291_CR20","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Ferrante J, Ottenstein K J, Warren J D. The program dependence graph and its use in optimization. ACM Trans Progr Languag Syst, 1987, 9: 319\u2013349","journal-title":"ACM Trans Progr Languag Syst"},{"key":"4291_CR21","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1007\/s11432-007-0061-2","volume":"50","author":"Y. Z. Zhang","year":"2007","unstructured":"Zhang Y Z. A novel formal approach to program slicing. Sci China Ser F-Inf Sci, 2007, 50: 657\u2013670","journal-title":"Sci China Ser F-Inf Sci"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-011-4291-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-011-4291-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-011-4291-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:36:12Z","timestamp":1559388972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-011-4291-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,30]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,1]]}},"alternative-id":["4291"],"URL":"https:\/\/doi.org\/10.1007\/s11432-011-4291-y","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5,30]]}}}