{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:35:50Z","timestamp":1775054150581,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642051500","type":"print"},{"value":"9783642051517","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05151-7_5","type":"book-chapter","created":{"date-parts":[[2009,11,6]],"date-time":"2009-11-06T11:08:42Z","timestamp":1257505722000},"page":"815-832","source":"Crossref","is-referenced-by-count":4,"title":["A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities"],"prefix":"10.1007","author":[{"given":"Aiman","family":"Hanna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai Zhou","family":"Ling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"XiaoChun","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Debbabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Build Security (access on April 29, 2009), https:\/\/buildsecurityin.us-cert.gov\/daisy\/bsi\/home.html\/"},{"key":"5_CR2","unstructured":"Securityfocus (access on February 26, 2009), http:\/\/www.securityfocus.com\/bid\/27796"},{"issue":"3","key":"5_CR3","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1147\/sj.223.0229","volume":"22","author":"D. Bird","year":"1982","unstructured":"Bird, D., Munoz, C.: Automatic generation of random self-checking test cases. IBM Systems J.\u00a022(3), 229\u2013245 (1982)","journal-title":"IBM Systems J."},{"issue":"6","key":"5_CR4","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1145\/390016.808445","volume":"10","author":"R. Boyer","year":"1975","unstructured":"Boyer, R., Elspas, B., Levitt, K.: Select - a formal system for testing and debugging programs by symbolic execution. SIGPLAN Notices\u00a010(6), 234\u2013245 (1975)","journal-title":"SIGPLAN Notices"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Cadar, C., Engler, D.: Execution generated test cases: How to make systems code crash itself (March 2005)","DOI":"10.1007\/11537328_2"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Chakraborty, M., Chakraborty, U.: An analysis of linear ranking and binary tournament selection in genetic algorithms. In: International Conference on Information, Communications and Signal Processing. ICICS (September 1997)","DOI":"10.1109\/ICICS.1997.647128"},{"key":"5_CR7","unstructured":"Cigital and National\u00a0Science Foundation. Genetic algorithms for software test data generation"},{"issue":"3","key":"5_CR8","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TSE.1976.233817","volume":"2","author":"L. Clarke","year":"1976","unstructured":"Clarke, L.: 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":"5_CR9","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 Transaction on Software Engineering and Methodology\u00a05, 63\u201386 (1996)","journal-title":"ACM Transaction on Software Engineering and Methodology"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: Dart: Directed automated random testing (June 2005)","DOI":"10.1145\/1065010.1065036"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Hadjidj, R., Yang, X., Tlili, S., Debbabi, M.: Model-checking for software vulnerabilities detection with multi-language support (October 2008)","DOI":"10.1109\/PST.2008.21"},{"key":"5_CR12","unstructured":"Kiefer, S., Schwoon, S., Suwimonteerabuth, D.: Moped - a model-checker for pushdown systems, http:\/\/www.fmi.uni-stuttgart.de\/szs\/tools\/moped\/"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Korel, B.: Automated software test data generation. IEEE Transactions on Software Enfineering\u00a016(8) (August 1990)","DOI":"10.1109\/32.57624"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Enforcing non-safety security policies with program monitors (January 2005)","DOI":"10.1007\/11555827_21"},{"key":"5_CR15","unstructured":"Novillo, D.: Tree ssa: A new optimization infrastructure for gcc. In: Proceedings of the GCC Developers Summit3, pp. 181\u2013193 (2003)"},{"key":"5_CR16","unstructured":"GNU Project. GCC, the GNU Compiler Collection, http:\/\/gcc.gnu.org\/"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Transaction of Information System Security (2000)","DOI":"10.1145\/353323.353382"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05151-7_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:48:33Z","timestamp":1606186113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05151-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642051500","9783642051517"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05151-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}