{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T22:33:48Z","timestamp":1791326028510,"version":"4.3.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,12,11]],"date-time":"2018-12-11T00:00:00Z","timestamp":1544486400000},"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":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1007\/s10009-018-00506-y","type":"journal-article","created":{"date-parts":[[2018,12,11]],"date-time":"2018-12-11T10:11:06Z","timestamp":1544523066000},"page":"183-194","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A greedy particle swarm optimization (GPSO) algorithm for testing real-world smart card applications"],"prefix":"10.1007","volume":"22","author":[{"given":"Hamzeh M.","family":"Allawi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Waref","family":"Al Manaseer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohammad","family":"Al Shraideh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,12,11]]},"reference":[{"issue":"5","key":"506_CR1","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1890\/080141","volume":"8","author":"RM Scheller","year":"2010","unstructured":"Scheller, R.M., Sturtevant, B.R., Gustafson, E.J., Ward, B.C., Mladenoff, D.J.: Increasing the reliability of ecological models using modern software engineering techniques. Front. Ecol. Environ. 8(5), 253\u2013260 (2010)","journal-title":"Front. Ecol. Environ."},{"key":"506_CR2","doi-asserted-by":"publisher","unstructured":"Littlewood, B., Strigini, L.: Software reliability and dependability: a roadmap. In: Proceedings of the Conference on the Future of Software Engineering,\u00a0pp. 175\u2013188 (2000). \nhttps:\/\/doi.org\/10.1145\/336512.336551","DOI":"10.1145\/336512.336551"},{"key":"506_CR3","doi-asserted-by":"publisher","unstructured":"Choi, B.J., DeMillo, R.A., Krauser, E.W., Martin, R.J., Mathur, A.P., Offutt, A.J., Spafford, E.H.: The Mothra tool set (software testing). In: Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Vol. II: Software Track, \u00a0vol. 2, pp. 275\u2013284 (1989). \nhttps:\/\/doi.org\/10.1109\/hicss.1989.48002","DOI":"10.1109\/hicss.1989.48002"},{"key":"506_CR4","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.infsof.2015.05.005","volume":"66","author":"BS Ahmed","year":"2015","unstructured":"Ahmed, B.S., Abdulsamad, T.S., Potrus, M.Y.: Achievement of minimized combinatorial test suite for configuration-aware software functional testing using the Cuckoo Search algorithm. Inf. Softw. Technol. 66, 13\u201329 (2015)","journal-title":"Inf. Softw. Technol."},{"key":"506_CR5","doi-asserted-by":"publisher","unstructured":"Li A., Zhang, Y..: Automatic generating All-path test data of a program based on PSO. In: WRI World Congress on Software Engineering, Xiamen, pp. 189\u2013193 (2009). \nhttps:\/\/doi.org\/10.1109\/WCSE.2009.98","DOI":"10.1109\/WCSE.2009.98"},{"key":"506_CR6","volume-title":"The Art of Software Testing","author":"GJ Myers","year":"2011","unstructured":"Myers, G.J., Sandler, C., Badgett, T.: The Art of Software Testing. Wiley, Hoboken (2011)"},{"issue":"3","key":"506_CR7","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s11219-010-9117-4","volume":"19","author":"M Alshraideh","year":"2011","unstructured":"Alshraideh, M., Mahafzah, B.A., Al-Sharaeh, S.: A multiple-population genetic algorithm for branch coverage test data generation. Softw. Qual. J. 19(3), 489\u2013513 (2011)","journal-title":"Softw. Qual. J."},{"issue":"12","key":"506_CR8","doi-asserted-by":"publisher","first-page":"1012","DOI":"10.3844\/jcssp.2008.1012.1019","volume":"4","author":"M Alshraideh","year":"2008","unstructured":"Alshraideh, M.: A complete automation of unit testing for javascript programs. J. Comput. Sci. 4(12), 1012 (2008)","journal-title":"J. Comput. Sci."},{"issue":"1","key":"506_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s11219-009-9083-x","volume":"18","author":"M Alshraideh","year":"2010","unstructured":"Alshraideh, M., Bottaci, L., Mahafzah, B.A.: Using program data-state scarcity to guide automatic test data generation. Softw. Qual. J. 18(1), 109\u2013144 (2010)","journal-title":"Softw. Qual. J."},{"key":"506_CR10","doi-asserted-by":"publisher","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on Java predicates. In: ACM SIGSOFT Software Engineering Notes, vol. 27, pp. 123\u2013133. ACM, (2002). \nhttps:\/\/doi.org\/10.1145\/566172.566191","DOI":"10.1145\/566172.566191"},{"issue":"2","key":"506_CR11","doi-asserted-by":"publisher","first-page":"7","DOI":"10.26634\/jse.8.2.2534","volume":"8","author":"HJ Hasan","year":"2013","unstructured":"Hasan, H.J., Mohammad, A., Mahafzah, B.A.: Branch coverage testing using anti-random technique. i-Manager\u2019s J. Softw. Eng. 8(2), 7 (2013)","journal-title":"i-Manager\u2019s J. Softw. Eng."},{"issue":"1","key":"506_CR12","doi-asserted-by":"publisher","first-page":"64","DOI":"10.17706\/jsw.11.1.64-79","volume":"11","author":"N Almasri","year":"2016","unstructured":"Almasri, N., Tahat, L., Alshraideh, M.: Maintenance-oriented classifications of EFSM transitions. JSW 11(1), 64\u201379 (2016)","journal-title":"JSW"},{"issue":"6","key":"506_CR13","first-page":"12","volume":"3","author":"ME Khan","year":"2012","unstructured":"Khan, M.E., Khan, F.: A comparative study of white box, black box and grey box testing techniques. Int. J. Adv. Comput. Sci. Appl. 3(6), 12 (2012)","journal-title":"Int. J. Adv. Comput. Sci. Appl."},{"key":"506_CR14","unstructured":"Micha\u0142 Zalewski.: American fuzzy lop. \nhttp:\/\/lcamtuf.coredump.cx\/afl\/\n\n. Accessed 8 Dec 2018"},{"key":"506_CR15","unstructured":"Rajpal, M., Blum, W., Singh, R. (2017). Not all bytes are equal: neural byte sieve for fuzzing.\u00a0arXiv preprint \narXiv:1711.04596\n\n.\u200f"},{"issue":"4","key":"506_CR16","doi-asserted-by":"publisher","first-page":"1817","DOI":"10.1016\/j.eswa.2007.08.088","volume":"35","author":"SW Lin","year":"2008","unstructured":"Lin, S.W., Ying, K.C., Chen, S.C., Lee, Z.J.: Particle swarm optimization for parameter determination and feature selection of support vector machines. Expert Syst. Appl. 35(4), 1817\u20131824 (2008)","journal-title":"Expert Syst. Appl."},{"issue":"7","key":"506_CR17","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/32.605761","volume":"23","author":"DM Cohen","year":"1997","unstructured":"Cohen, D.M., Dalal, S.R., Fredman, M.L., Patton, G.C.: The AETG system: An approach to testing based on combinatorial design. IEEE Trans. Softw. Eng. 23(7), 437\u2013444 (1997). \nhttps:\/\/doi.org\/10.1109\/32.605761","journal-title":"IEEE Trans. Softw. Eng."},{"key":"506_CR18","doi-asserted-by":"publisher","unstructured":"Lei, Y., Tai, K.C.: In-parameter-order: a test generation strategy for pairwise testing.\u00a0In: Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231), Washington, DC, pp. 254\u2013261 (1998). \nhttps:\/\/doi.org\/10.1109\/HASE.1998.731623","DOI":"10.1109\/HASE.1998.731623"},{"key":"506_CR19","doi-asserted-by":"publisher","unstructured":"Tung, Y.W., Aldiwan, W.S.: Automating test case generation for the new generation mission software system. In: IEEE Aerospace Conference. Proceedings (Cat. No.00TH8484), Big Sky, MT, vol. 1, pp. 431\u2013437 (2000). \nhttps:\/\/doi.org\/10.1109\/AERO.2000.879426","DOI":"10.1109\/AERO.2000.879426"},{"issue":"5","key":"506_CR20","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/52.536462","volume":"13","author":"DM Cohen","year":"1996","unstructured":"Cohen, D.M., Dalal, S.R., Parelius, J., Patton, G.C.: The combinatorial design approach to automatic test generation. IEEE Softw. 13(5), 83\u201388 (1996). \nhttps:\/\/doi.org\/10.1109\/52.536462","journal-title":"IEEE Softw."},{"key":"506_CR21","unstructured":"Colbourn, C.J., Cohen, M.B., Turban, R.: A deterministic density algorithm for pairwise interaction coverage. In\u00a0IASTED Conference on Software Engineering, pp. 345\u2013352 (2004)"},{"key":"506_CR22","doi-asserted-by":"publisher","unstructured":"Bryce, R.C., Colbourn, C.J.: Test prioritization for pairwise interaction coverage. In: ACM SIGSOFT Software Engineering Notes, vol. 30, pp. 1\u20137. ACM (2005). \nhttps:\/\/doi.org\/10.1145\/1082983.1083275","DOI":"10.1145\/1082983.1083275"},{"issue":"1","key":"506_CR23","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1504\/IJSPM.2007.014717","volume":"3","author":"RC Bryce","year":"2007","unstructured":"Bryce, R.C., Chen, Y., Colbourn, C.J.: Biased covering arrays for progressive ranking and composition of web services. Int. J. Simul. Process Modell. 3(1), 80\u201387 (2007)","journal-title":"Int. J. Simul. Process Modell."},{"key":"506_CR24","doi-asserted-by":"crossref","unstructured":"Bouquet, F., Legeard, B., Peureux, F., Torreborre, E.: Mastering test generation from smart card software formal models. In: International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-30569-9_4"},{"key":"506_CR25","doi-asserted-by":"publisher","unstructured":"Martin, H., du Bousquet, L.: Automatic test generation for Java Card applets. In: Java on Smart Cards: Programming and Security, Springer, Berlin, pp. 121\u2013136 (2001). \nhttps:\/\/doi.org\/10.1007\/3-540-45165-x_10","DOI":"10.1007\/3-540-45165-x_10"},{"key":"506_CR26","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1016\/S1571-0661(04)80817-X","volume":"80","author":"J Philipps","year":"2003","unstructured":"Philipps, J., Pretschner, A., Slotosch, O., Aiglstorfer, E., Kriebel, S., Scholl, K.: Model-based test case generation for smart CARDS11SUPPORT by the BMBF (project EMPRESS) is gratefully acknowledged. Electr. Notes Theor. Comput. Sci. 80, 170\u2013184 (2003)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"12","key":"506_CR27","doi-asserted-by":"publisher","first-page":"603","DOI":"10.4236\/jsea.2015.812057","volume":"8","author":"S Manaseer","year":"2015","unstructured":"Manaseer, S., Manasir, W., Alshraideh, M., Hashish, N.A., Adwan, O.: Automatic test data generation for Java card applications using genetic algorithm. J. Softw. Eng. Appl. 8(12), 603 (2015)","journal-title":"J. Softw. Eng. Appl."},{"key":"506_CR28","doi-asserted-by":"publisher","unstructured":"Berndt, D.J., Watkins, A.: High volume software testing using genetic algorithms. In:\u00a0Proceedings of the 38th Annual Hawaii International Conference on System Sciences, pp. 318b (2005). \nhttps:\/\/doi.org\/10.1109\/HICSS.2005.296","DOI":"10.1109\/HICSS.2005.296"},{"key":"506_CR29","first-page":"15","volume":"37","author":"S Singla","year":"2011","unstructured":"Singla, S., Kumar, D., Rai, H.M., Singla, P.: A hybrid PSO approach to automate test data generation for data flow coverage with dominance concepts. Int. J. Adv. Sci. Technol. 37, 15\u201326 (2011)","journal-title":"Int. J. Adv. Sci. Technol."},{"key":"506_CR30","doi-asserted-by":"publisher","unstructured":"Feng, Y., Teng, G.F., Wang, A.X., Yao, Y.M.: Chaotic inertia weight in particle swarm optimization. In: Second International Conference on Innovative Computing, Informatio and Control (ICICIC 2007), Kumamoto, pp. 475\u2013475 (2007). \nhttps:\/\/doi.org\/10.1109\/icicic.2007.209","DOI":"10.1109\/icicic.2007.209"},{"key":"506_CR31","doi-asserted-by":"publisher","unstructured":"Shi, Y., Eberhart, R.C.: Empirical study of particle swarm optimization. In: Proceedings of the Congress on Evolutionary Computation-CEC99 (Cat. No. 99TH8406), Washington, DC, 1950 vol. 3 (1999). \nhttps:\/\/doi.org\/10.1109\/cec.1999.785511","DOI":"10.1109\/cec.1999.785511"},{"key":"506_CR32","doi-asserted-by":"publisher","unstructured":"Windisch, A., Wappler, S., Wegener, J.: Applying particle swarm optimization to software testing. In: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation, pp. 1121\u20131128 (2007). \nhttps:\/\/doi.org\/10.1145\/1276958.1277178","DOI":"10.1145\/1276958.1277178"},{"issue":"3","key":"506_CR33","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s12293-013-0111-9","volume":"5","author":"P Chauhan","year":"2013","unstructured":"Chauhan, P., Deep, K., Pant, M.: Novel inertia weight strategies for particle swarm optimization. Memet. Comput. 5(3), 229\u2013251 (2013)","journal-title":"Memet. Comput."},{"issue":"8","key":"506_CR34","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B Korel","year":"1990","unstructured":"Korel, B.: Automated software test data generation. IEEE Trans. Softw. Eng. 16(8), 870\u2013879 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"506_CR35","doi-asserted-by":"publisher","unstructured":"Nayak, N., Mohapatra, D.P.: Automatic test data generation for data flow testing using particle swarm optimization. In: Contemporary Computing,\u00a0pp. 1\u201312 (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-14825-5_1","DOI":"10.1007\/978-3-642-14825-5_1"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-018-00506-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-018-00506-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-018-00506-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T23:10:20Z","timestamp":1585177820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-018-00506-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,11]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,4]]}},"alternative-id":["506"],"URL":"https:\/\/doi.org\/10.1007\/s10009-018-00506-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12,11]]},"assertion":[{"value":"11 December 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}