{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:54:59Z","timestamp":1725515699024},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705666"},{"type":"electronic","value":"9783540705673"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-70567-3_21","type":"book-chapter","created":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T07:57:37Z","timestamp":1216108657000},"page":"268-282","source":"Crossref","is-referenced-by-count":0,"title":["Towards Automation of Testing High-Level Security Properties"],"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":"Jason","family":"Furlong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Debbabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"21_CR1","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":"21_CR2","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":"21_CR3","doi-asserted-by":"crossref","unstructured":"Brandner, F., Ebner, D., Krall, A.: Compiler generation from structural architecture descriptions. In: Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems (September 2007)","DOI":"10.1145\/1289881.1289886"},{"key":"21_CR4","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":"21_CR5","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":"21_CR6","unstructured":"Cigital and National Science Foundation. Genetic algorithms for software test data generation"},{"issue":"3","key":"21_CR7","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":"21_CR8","first-page":"63","volume-title":"ACM Transaction on Software Engineering and Methodology","author":"R. Ferguson","year":"1996","unstructured":"Ferguson, R., Korel, B.: The chaining approach for software test data generation. In: ACM Transaction on Software Engineering and Methodology, vol.\u00a05, pp. 63\u201386. ACM Press, New York (1996)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: Dart: Directed automated random testing (June 2005)","DOI":"10.1145\/1065010.1065036"},{"key":"21_CR10","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":"21_CR11","doi-asserted-by":"crossref","unstructured":"Korel, B., Harman, M., Chung, S., Apirukvorapinit, P., Gupta, R., Zhang, Q.: Data dependence based testability transformation in automated test generation. In: Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005) (2005)","DOI":"10.1109\/ISSRE.2005.16"},{"key":"21_CR12","unstructured":"Korel, B.: A dynamic approach of test data generation (1990)"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Transaction of Information System Security (2000)","DOI":"10.1145\/353323.353382"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Yang, Z., Hanna, A., Debbabi, M.: Team edit automata for testing security property. In: Third International Symposium on Information Assurance and Security (2007)","DOI":"10.1109\/IAS.2007.45"}],"container-title":["Lecture Notes in Computer Science","Data and Applications Security XXII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70567-3_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T17:15:34Z","timestamp":1557681334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70567-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540705666","9783540705673"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70567-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}