{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:49:55Z","timestamp":1768344595828,"version":"3.49.0"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2024,3]]},"DOI":"10.1109\/tse.2024.3354971","type":"journal-article","created":{"date-parts":[[2024,1,17]],"date-time":"2024-01-17T18:25:38Z","timestamp":1705515938000},"page":"495-511","source":"Crossref","is-referenced-by-count":2,"title":["Improving Test Data Generation for MPI Program Path Coverage With FERPSO-IMPR and Surrogate-Assisted Models"],"prefix":"10.1109","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4177-5462","authenticated-orcid":false,"given":"Yong","family":"Wang","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Ocean University of China, Qingdao, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-0198-8071","authenticated-orcid":false,"given":"Wenzhong","family":"Cui","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Ocean University of China, Qingdao, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3295-8972","authenticated-orcid":false,"given":"Gai-Ge","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Ocean University of China, Qingdao, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4316-932X","authenticated-orcid":false,"given":"Jian","family":"Wang","sequence":"additional","affiliation":[{"name":"College of Science, China University of Petroleum (East China), Qingdao, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2838-4301","authenticated-orcid":false,"given":"Dunwei","family":"Gong","sequence":"additional","affiliation":[{"name":"College of Automation and Electronic Engineering, Qingdao University of Science and Technology, Qingdao, Shandong, PR China"}]}],"member":"263","reference":[{"key":"ref1","first-page":"75","article-title":"MPI streams for HPC applications","volume":"30","author":"Peng","year":"2017","journal-title":"New Front. High Perform. Comput. Big Data"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8191(96)00024-5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2019.07.002"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.05.029"},{"issue":"2","key":"ref5","first-page":"112","article-title":"Overview of software testing standard ISO\/IEC\/IEEE 29119","volume":"18","author":"Alaqail","year":"2018","journal-title":"Int. J. Comput. Sci. Netw. Secur."},{"key":"ref6","first-page":"1","article-title":"A tool for structural testing of MPI programs","volume-title":"Proc. 8th IEEE Latin-Amer. Test Workshop (LATW)","author":"Hausen","year":"2007"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3302516.3307353"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.2937"},{"key":"ref9","first-page":"625","article-title":"Application of genetic algorithms to software testing","volume-title":"Proc. 5th Int. Conf. Softw. Eng. Appl. (SEDA)","author":"Xanthakis","year":"1992"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0173-z"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2017.2780274"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2022.107068"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3423132"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2008.01.007"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.12.002"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2006.7"},{"key":"ref17","article-title":"lpsolve: Open source (mixed-integer) linear programming system","volume-title":"Eindhoven Univ. Technol.","volume":"63","author":"Berkelaar","year":"2004"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-8848-3_68"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2663435"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SSBSE.2010.14"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/271775.271804"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-27455-9_9"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_34"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.3019406"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2015.2457245"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-93025-1"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/MCI.2006.329691"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/MHS.1995.494215"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSIP52628.2021.9688597"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1276970"},{"key":"ref32","author":"Chang","year":"2014","journal-title":"Software testing using machine learning"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73499-4_56"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2018.2811761"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2019.8790310"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2016.2622301"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/CSCWD.2017.8066748"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TETCI.2018.2872029"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2018.2834881"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24854-5_71"},{"key":"ref41","author":"M\u00fcller","year":"2024","journal-title":"Dealing with MPI bugs at scale: Best practices, automatic detection, debugging, and formal verification"},{"key":"ref42","first-page":"527","article-title":"Combining symbolic execution and model checking to verify MPI programs","volume-title":"Proc. 40th Int. Conf. Softw. Eng.: Companion Proc. (ICSE)","author":"Yu","year":"2018"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277178"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2018.2794503"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10473597\/10402034.pdf?arnumber=10402034","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T13:00:29Z","timestamp":1711458029000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10402034\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3]]},"references-count":44,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.2024.3354971","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3]]}}}