{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T04:06:24Z","timestamp":1767585984978},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642215148"},{"type":"electronic","value":"9783642215155"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21515-5_18","type":"book-chapter","created":{"date-parts":[[2011,5,30]],"date-time":"2011-05-30T11:33:45Z","timestamp":1306755225000},"page":"147-156","source":"Crossref","is-referenced-by-count":6,"title":["PSO Based Pseudo Dynamic Method for Automated Test Case Generation Using Interpreter"],"prefix":"10.1007","author":[{"given":"Surender Singh","family":"Dahiya","sequence":"first","affiliation":[]},{"given":"Jitender Kumar","family":"Chhabra","sequence":"additional","affiliation":[]},{"given":"Shakti","family":"Kumar","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Software testing techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software testing techniques. Dreamtech publication, New Delhi (1990)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Bueno, P.M.S., Jino, M.: Identification of potentially infeasible program paths by monitoring the search for test data. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), France, pp. 11\u201315 (2000)","DOI":"10.1109\/ASE.2000.873665"},{"issue":"1","key":"18_CR3","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0950-5849(91)90024-6","volume":"33","author":"P.D. Coward","year":"1991","unstructured":"Coward, P.D.: Symbolic execution and testing. Information and Software Technology\u00a033(1), 53\u201364 (1991)","journal-title":"Information and Software Technology"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Deng, X., Robby, Hatcliff, J.: Kiasan\/KUnit: Automatic test case generation and analysis feedback for open object-oriented systems. In: Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques, Washington, pp. 3\u201312 (2007)","DOI":"10.1109\/TAIC.PART.2007.32"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: Directed Automated Random Testing. In: The Proceedings of Programming Language Design and Implementation (June 2005)","DOI":"10.1145\/1065010.1065036"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Compositional dynamic test generation. In: The Proceedings of ACM Symposium on Principles of Programming Languages (2007)","DOI":"10.1145\/1190216.1190226"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Goldberg, A., Wang, T.C., Zimmerman, D.: Applications of Feasible Path Analysis to Program Testing. In: ISSTA 1994, Seattle, Washington, USA, pp. 80\u201394 (1994)","DOI":"10.1145\/186258.186523"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/3-540-36577-X_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Khurshid","year":"2003","unstructured":"Khurshid, S., P\u0103s\u0103reanu, C.S., Visser, W.: Generalized symbolic execution for model checking and testing. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 553\u2013568. Springer, Heidelberg (2003)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Sen, K.: Hybrid concolic testing. In: The proceedings of the 29th International Conference on Software Engineering, Washington DC, pp. 416\u2013426 (2007)","DOI":"10.1109\/ICSE.2007.41"},{"issue":"2","key":"18_CR10","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P. McMinn","year":"2004","unstructured":"McMinn, P.: Search-based Software Test Data Generation: A Survey. Software Testing, Verification and Reliabilit\u00a014(2), 105\u2013156 (2004)","journal-title":"Software Testing, Verification and Reliabilit"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1016\/j.infsof.2007.06.006","volume":"50","author":"M.N. Ngo","year":"2008","unstructured":"Ngo, M.N., Tan, H.B.K.: Detecting Large Number of Infeasible Paths through Recognizing their Patterns. Information and Software Technology\u00a050, 641\u2013655 (2008)","journal-title":"Information and Software Technology"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Pasareanu, C.S., Mehlitz, P.C., Bushnell, D.H., Gundy-Burlet, K., Lowry, M., Person, S., Pape, M.: Combining unit-level symbolic execution and system level concrete execution for testing NASA software. In: Proceedings of the International Symposium on Software Testing and Analysis, pp. 15\u201325 (2008)","DOI":"10.1145\/1390630.1390635"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Saxena, P., Poosankam, P., McCamant, S., Song, D.: Loop-Extended Symbolic Execution on Binary Programs. In: ISSTA 2009, Chicago, Illinois, USA, July 19-23 (2009)","DOI":"10.21236\/ADA538843"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: Proceedings of Joint Conference of ESEC\/FSE 2005, Lisbon, Portugal, pp. 263\u2013272 (2005)","DOI":"10.1145\/1081706.1081750"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Visser, W., Pasareanu, C.S., Khurshid, S.: Test input generation with Java PathFinder. In: Proceedings of the International Symposium on Software Testing and Analysis (2004)","DOI":"10.1145\/1007512.1007526"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Visvanathan, S., Gupta, N.: Generating Test Data for Functions with Pointer Inputs. In: 17th IEEE International Conference on Automated Software Engineering (2002)","DOI":"10.1109\/ASE.2002.1115007"},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1002\/spe.684","volume":"36","author":"A. Watkins","year":"2006","unstructured":"Watkins, A., Hufnagel, E.M.: Evolutionary test data generation: a comparison of fitness functions. Software Practice & Experience\u00a036, 95\u2013116 (2006)","journal-title":"Software Practice & Experience"},{"key":"18_CR18","unstructured":"http:\/\/www.softintegration.com"},{"key":"18_CR19","unstructured":"Yuhui, S., Eberhart, R.C.: Parameter Selection in particle swarm optimization. In: The 7th Annual Conference on Evolutionary Programming, San Diego USA"}],"container-title":["Lecture Notes in Computer Science","Advances in Swarm Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21515-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T05:09:15Z","timestamp":1560229755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21515-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642215148","9783642215155"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21515-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}