{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:37:33Z","timestamp":1743007053821,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":35,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811375606"},{"type":"electronic","value":"9789811375613"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-981-13-7561-3_20","type":"book-chapter","created":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T02:12:18Z","timestamp":1556590338000},"page":"275-285","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Testing Program Crash Based on Search Based Testing and Exception Injection"],"prefix":"10.1007","author":[{"given":"Faisal","family":"Anwer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohd.","family":"Nazir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khurram","family":"Mustafa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,4,30]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-981-10-1415-4_3","volume-title":"Trends in Software Testing","author":"F Anwer","year":"2017","unstructured":"Anwer, F., Nazir, M., Mustafa, K.: Security testing. In: Mohanty, H., Mohanty, J.R., Balakrishnan, A. (eds.) Trends in Software Testing, pp. 35\u201366. Springer, Singapore (2017). \n                    https:\/\/doi.org\/10.1007\/978-981-10-1415-4_3"},{"key":"20_CR2","unstructured":"Facebook crash is \u2018worst in four years\u2019. \n                    http:\/\/www.bbc.co.uk\/newsbeat\/article\/11403897\/facebook-crash-is-worst-in-four-years\n                    \n                  . Accessed 05 Jan 2017"},{"key":"20_CR3","unstructured":"SQL Server Management Studio 2012\/2014 crashes when closing (2013). \n                    https:\/\/connect.microsoft.com\/SQLServer\/feedback\/details\/774317\/sql-server-management-studio-2012-2014-crashes-when-closing\n                    \n                  . Accessed 25 Dec 2016"},{"key":"20_CR4","unstructured":"SAP NetWeaver Enqueue Server DoS vulnerability (2015). \n                    https:\/\/erpscan.com\/advisories\/erpscan-16-019-sap-netweaver-enqueue-server-dos-vulnerability\n                    \n                  . Accessed 25 Dec 2016"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Anwer, F., Nazir, M., Mustafa, K.: Automatic testing of inconsistency caused by improper error handling: a safety and security perspective. In: Proceedings of the 2014 International Conference on Information and Communication Technology for Competitive Strategies, p. 43. ACM (2014)","DOI":"10.1145\/2677855.2677898"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Anwer, F., Nazir, M., Mustafa, K.: Safety and security framework for exception handling in concurrent programming. In: 2013 Third International Conference on Advances in Computing and Communications (ICACC), pp. 308\u2013311. IEEE (2013)","DOI":"10.1109\/ICACC.2013.65"},{"key":"20_CR7","unstructured":"Natarajan, M.: Automated source code analysis to identify and remove software security vulnerabilities: case studies on Java programs. Int. J. Softw. Eng. 06(01), 3\u201332 (2013). \n                    http:\/\/www.ijse.org.eg\/2013.asp?txtLoginUser=&txtLoginPasswd="},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/11818502_15","volume-title":"Advanced Topics in Exception Handling Techniques","author":"J Siedersleben","year":"2006","unstructured":"Siedersleben, J.: Errors and exceptions \u2013 rights and obligations. In: Dony, C., Knudsen, J.L., Romanovsky, A., Tripathi, A. (eds.) Advanced Topics in Exception Handling Techniques. LNCS, vol. 4119, pp. 275\u2013287. Springer, Heidelberg (2006). \n                    https:\/\/doi.org\/10.1007\/11818502_15"},{"key":"20_CR9","unstructured":"Forrester, J.E., Miller, B.P.: An empirical study of the robustness of windows NT applications using random testing. In: Proceedings of the 4th USENIX Windows System Symposium, Seattle, pp. 59\u201368 (2000)"},{"issue":"11","key":"20_CR10","first-page":"1025","volume":"34","author":"C Csallner","year":"2004","unstructured":"Csallner, C., Smaragdakis, Y.: JCrasher: an automatic robustness tester for Java. Softw.: Pract. Experience 34(11), 1025\u20131050 (2004)","journal-title":"Softw.: Pract. Experience"},{"issue":"4","key":"20_CR11","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/1988042.1988046","volume":"46","author":"Koen Claessen","year":"2011","unstructured":"Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of haskell programs. In: ACM Sigplan Notices, vol. 46, no. 4, pp. 53\u201364 (2011)","journal-title":"ACM SIGPLAN Notices"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11537328_2","volume-title":"Model Checking Software","author":"C Cadar","year":"2005","unstructured":"Cadar, C., Engler, D.: Execution generated test cases: how to make systems code crash itself. In: Godefroid, P. (ed.) SPIN 2005. LNCS, vol. 3639, pp. 2\u201323. Springer, Heidelberg (2005). \n                    https:\/\/doi.org\/10.1007\/11537328_2"},{"issue":"2","key":"20_CR13","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/1455518.1455522","volume":"12","author":"C Cadar","year":"2008","unstructured":"Cadar, C., Ganesh, V., Pawlowski, P.M., Dill, D.L., Engler, D.R.: EXE: automatically generating inputs of death. ACM Trans. Inf. Syst. Secur. (TISSEC) 12(2), 10 (2008)","journal-title":"ACM Trans. Inf. Syst. Secur. (TISSEC)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: ACM Sigplan Notices, vol. 40, no. 6, pp. 213\u2013223. ACM (2005)","DOI":"10.1145\/1064978.1065036"},{"key":"20_CR15","unstructured":"Godefroid, P., Levin, M.Y., Molnar, D.A., et al.: Automated whitebox fuzz testing. In: NDSS, vol. 8, pp. 151\u2013166 (2008)"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Grosso, C.D., Antoniol, G., Merlo, E., Galinier, P.: Detecting buffer overflow via automatic test input data generation. Comput. Oper. Res. 35(10), 3125\u20133143 (2008). \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0305054807000305\n                    \n                  . Part Special Issue: Search-based Software Engineering","DOI":"10.1016\/j.cor.2007.01.013"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Antoniol, G.: Keynote paper: search based software testing for software security: breaking code to make it safer. In: International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2009, pp. 87\u2013100. IEEE (2009)","DOI":"10.1109\/ICSTW.2009.12"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Avancini, A., Ceccato, M.: Towards security testing with taint analysis and genetic algorithms. In: Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems, pp. 65\u201371. ACM (2010)","DOI":"10.1145\/1809100.1809110"},{"issue":"12","key":"20_CR19","doi-asserted-by":"publisher","first-page":"2209","DOI":"10.1016\/j.infsof.2013.08.001","volume":"55","author":"A Avancini","year":"2013","unstructured":"Avancini, A., Ceccato, M.: Comparison and integration of genetic algorithms and dynamic symbolic execution for security testing of cross-site scripting vulnerabilities. Inf. Softw. Technol. 55(12), 2209\u20132222 (2013)","journal-title":"Inf. Softw. Technol."},{"key":"20_CR20","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, vol. 8, pp. 209\u2013224 (2008)"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Anwer, F., Nazir, M., Mustafa, K.: Testing program for security using symbolic execution and exception injection. Indian J. Sci. Technol. 9(19) (2016)","DOI":"10.1007\/978-981-10-1415-4_3"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Csalner, C., Smaragdakis, Y.: Check\u2018n\u2019crash: combining static checking and testing. In: Proceedings of the 27th International Conference on Software Engineering, pp. 422\u2013431. ACM (2005)","DOI":"10.1145\/1062455.1062533"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Ernst, M.D.: Randoop: feedback-directed random testing for Java. In: Companion to the 22nd ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications Companion, pp. 815\u2013816. ACM (2007)","DOI":"10.1145\/1297846.1297902"},{"key":"20_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-23716-4_19","volume-title":"Search Based Software Engineering","author":"N Bhattacharya","year":"2011","unstructured":"Bhattacharya, N., Sakti, A., Antoniol, G., Gu\u00e9h\u00e9neuc, Y.-G., Pesant, G.: Divide-by-zero exception raising via branch coverage. In: Cohen, M.B., \u00d3 Cinn\u00e9ide, M. (eds.) SSBSE 2011. LNCS, vol. 6956, pp. 204\u2013218. Springer, Heidelberg (2011). \n                    https:\/\/doi.org\/10.1007\/978-3-642-23716-4_19"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Romano, D., Di Penta, M., Antoniol, G.: An approach for search based testing of null pointer exceptions. In: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST), pp. 160\u2013169. IEEE (2011)","DOI":"10.1109\/ICST.2011.49"},{"issue":"1","key":"20_CR26","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/2480359.2429133","volume":"48","author":"Earl T. Barr","year":"2013","unstructured":"Barr, E.T., Vo, T., Le, V., Su, Z.: Automatic detection of floating-point exceptions. In: ACM SIGPLAN Notices, vol. 48, no. 1, pp. 549\u2013560 (2013)","journal-title":"ACM SIGPLAN Notices"},{"issue":"3","key":"20_CR27","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1007\/s10664-013-9288-2","volume":"20","author":"G Fraser","year":"2015","unstructured":"Fraser, G., Arcuri, A.: 1600 faults in 100 projects: automatically finding faults while achieving high coverage with evosuite. Empirical Softw. Eng. 20(3), 611\u2013639 (2015)","journal-title":"Empirical Softw. Eng."},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"Zhang, P., Elbaum, S.: Amplifying tests to validate exception handling code. In: Proceedings of the 34th International Conference on Software Engineering, pp. 595\u2013605. IEEE Press (2012)","DOI":"10.1109\/ICSE.2012.6227157"},{"key":"20_CR29","doi-asserted-by":"crossref","unstructured":"Tonella, P.: Evolutionary testing of classes. In: ACM SIGSOFT Software Engineering Notes, vol. 29, no. 4, pp. 119\u2013128. ACM (2004)","DOI":"10.1145\/1013886.1007528"},{"issue":"4","key":"20_CR30","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/2652483","volume":"23","author":"P Zhang","year":"2014","unstructured":"Zhang, P., Elbaum, S.: Amplifying tests to validate exception handling code: an extended study in the mobile application domain. ACM Trans. Softw. Eng. Methodol. (TOSEM) 23(4), 32 (2014)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"issue":"2","key":"20_CR31","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/941566.941569","volume":"12","author":"MP Robillard","year":"2003","unstructured":"Robillard, M.P., Murphy, G.C.: Static analysis to support the evolution of exception structure in object-oriented systems. ACM Trans. Softw. Eng. Methodol. (TOSEM) 12(2), 191\u2013221 (2003)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"20_CR32","doi-asserted-by":"crossref","unstructured":"Fu, C., Ryder, B.G.: Navigating error recovery code in Java applications. In: Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange, pp. 40\u201344. ACM (2005)","DOI":"10.1145\/1117696.1117705"},{"key":"20_CR33","doi-asserted-by":"crossref","unstructured":"Wu, X., Xu, Z., Wei, J.: Static detection of bugs caused by incorrect exception handling in Java programs. In: 2011 11th International Conference on Quality Software, pp. 61\u201366. IEEE (2011)","DOI":"10.1109\/QSIC.2011.25"},{"key":"20_CR34","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Mezini, M.: Aspect-oriented programming and modular reasoning. In: Proceedings of the 27th International Conference on Software Engineering, pp. 49\u201358. ACM (2005)","DOI":"10.1145\/1062455.1062482"},{"key":"20_CR35","volume-title":"AspectJ in action: enterprise AOP with spring applications","author":"R Laddad","year":"2009","unstructured":"Laddad, R.: AspectJ in action: enterprise AOP with spring applications. Manning Publications Co., Shelter Island (2009)"}],"container-title":["Communications in Computer and Information Science","Security and Privacy"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-13-7561-3_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T00:21:21Z","timestamp":1558398081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-13-7561-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9789811375606","9789811375613"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-981-13-7561-3_20","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"30 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISEA-ISAP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Security & Privacy","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Jaipur","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 January 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 January 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iseaisap2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.isea-sp.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"88","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"24% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"3-5","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}