{"id":"https://openalex.org/W3015867552","doi":"https://doi.org/10.4018/978-1-7998-1659-1.ch017","title":"A Survey on the Applications of Swarm Intelligence to Software Verification","display_name":"A Survey on the Applications of Swarm Intelligence to Software Verification","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3015867552","doi":"https://doi.org/10.4018/978-1-7998-1659-1.ch017","mag":"3015867552"},"language":"en","primary_location":{"id":"doi:10.4018/978-1-7998-1659-1.ch017","doi":"https://doi.org/10.4018/978-1-7998-1659-1.ch017","is_oa":false,"landing_page_url":"https://doi.org/10.4018/978-1-7998-1659-1.ch017","pdf_url":null,"source":{"id":"https://openalex.org/S4210180746","display_name":"Advances in computational intelligence and robotics book series","issn_l":"2327-042X","issn":["2327-042X","2327-0411"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Computational Intelligence and Robotics","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W4213146792","display_name":"Handbook of Research on Fireworks Algorithms and Swarm Intelligence"},"type":"book-chapter","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006314011","display_name":"Tsutomu Kumazawa","orcid":"https://orcid.org/0000-0002-1096-1097","observed_orcids":["https://orcid.org/0000-0002-1096-1097"]},"institutions":[{"id":"https://openalex.org/I4210130202","display_name":"Software Research Associates (Japan)","ror":"https://ror.org/02frcze54","country_code":"JP","type":"company","lineage":["https://openalex.org/I4210130202"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tsutomu Kumazawa","raw_affiliation_strings":["Software Research Associates, Inc., Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Research Associates, Inc., Japan","institution_ids":["https://openalex.org/I4210130202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113482804","display_name":"Munehiro Takimoto","orcid":"https://orcid.org/0009-0004-4998-8512","observed_orcids":["https://orcid.org/0009-0004-4998-8512"]},"institutions":[{"id":"https://openalex.org/I161296585","display_name":"Tokyo University of Science","ror":"https://ror.org/05sj3n476","country_code":"JP","type":"education","lineage":["https://openalex.org/I161296585"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Munehiro Takimoto","raw_affiliation_strings":["Tokyo University of Science, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tokyo University of Science, Japan","institution_ids":["https://openalex.org/I161296585"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103434793","display_name":"Yasushi Kambayashi","orcid":"https://orcid.org/0009-0004-9917-9860","observed_orcids":["https://orcid.org/0009-0004-9917-9860"]},"institutions":[{"id":"https://openalex.org/I95053508","display_name":"Nippon Institute of Technology","ror":"https://ror.org/05h68bp56","country_code":"JP","type":"education","lineage":["https://openalex.org/I95053508"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yasushi Kambayashi","raw_affiliation_strings":["Nippon Institute of Technology, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nippon Institute of Technology, Japan","institution_ids":["https://openalex.org/I95053508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.8101,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.91275168,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"376","last_page":"398"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.5458999872207642,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.5458999872207642,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.22920000553131104,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.06769999861717224,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/swarm-intelligence","display_name":"swarm intelligence","score":1.0},{"id":"https://openalex.org/keywords/software-verification","display_name":"software verification","score":0.8370000123977661},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.9990000128746033},{"id":"https://openalex.org/keywords/state-explosion-problem","display_name":"state explosion problem","score":0.9879999756813049},{"id":"https://openalex.org/keywords/computational-complexity","display_name":"computational complexity","score":0.47699999809265137}],"concepts":[{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.7717455625534058},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7333680987358093},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6303505301475525},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5902706980705261},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5777899026870728},{"id":"https://openalex.org/C181335050","wikidata":"https://www.wikidata.org/wiki/Q14915018","display_name":"Swarm behaviour","level":2,"score":0.5764623284339905},{"id":"https://openalex.org/C119487961","wikidata":"https://www.wikidata.org/wiki/Q863960","display_name":"Swarm intelligence","level":3,"score":0.5708650350570679},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5306583642959595},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5244669914245605},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5196289420127869},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.5119220018386841},{"id":"https://openalex.org/C139143892","wikidata":"https://www.wikidata.org/wiki/Q7441615","display_name":"Search-based software engineering","level":5,"score":0.5041691064834595},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.49326103925704956},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.44588860869407654},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43127843737602234},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.42643237113952637},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.37149128317832947},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3392743468284607},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.300095796585083},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.27420103549957275},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.21589094400405884},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1562536060810089},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.15562796592712402},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1542903482913971},{"id":"https://openalex.org/C85617194","wikidata":"https://www.wikidata.org/wiki/Q2072794","display_name":"Particle swarm optimization","level":2,"score":0.1408456563949585},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4018/978-1-7998-1659-1.ch017","doi":"https://doi.org/10.4018/978-1-7998-1659-1.ch017","is_oa":false,"landing_page_url":"https://doi.org/10.4018/978-1-7998-1659-1.ch017","pdf_url":null,"source":{"id":"https://openalex.org/S4210180746","display_name":"Advances in computational intelligence and robotics book series","issn_l":"2327-042X","issn":["2327-042X","2327-0411"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Computational Intelligence and Robotics","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":76,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W90065401","https://openalex.org/W120333500","https://openalex.org/W125598877","https://openalex.org/W369805404","https://openalex.org/W1489391022","https://openalex.org/W1492584664","https://openalex.org/W1492929237","https://openalex.org/W1495119745","https://openalex.org/W1501731334","https://openalex.org/W1504504841","https://openalex.org/W1506588809","https://openalex.org/W1524504405","https://openalex.org/W1535723536","https://openalex.org/W1577525693","https://openalex.org/W1603799276","https://openalex.org/W1783413852","https://openalex.org/W1787074469","https://openalex.org/W1805536084","https://openalex.org/W1895387792","https://openalex.org/W1977321274","https://openalex.org/W1984058299","https://openalex.org/W1989545482","https://openalex.org/W2004029800","https://openalex.org/W2006406722","https://openalex.org/W2019881090","https://openalex.org/W2036802481","https://openalex.org/W2041000930","https://openalex.org/W2051100619","https://openalex.org/W2055373773","https://openalex.org/W2060910670","https://openalex.org/W2071152819","https://openalex.org/W2076334860","https://openalex.org/W2081840025","https://openalex.org/W2089003125","https://openalex.org/W2104952681","https://openalex.org/W2111654715","https://openalex.org/W2111706174","https://openalex.org/W2115541969","https://openalex.org/W2118044993","https://openalex.org/W2118382442","https://openalex.org/W2127574686","https://openalex.org/W2129659049","https://openalex.org/W2132334337","https://openalex.org/W2132675713","https://openalex.org/W2135220153","https://openalex.org/W2142256060","https://openalex.org/W2142949066","https://openalex.org/W2152195021","https://openalex.org/W2162698364","https://openalex.org/W2163622833","https://openalex.org/W2167083280","https://openalex.org/W2169528473","https://openalex.org/W2215876306","https://openalex.org/W2334376961","https://openalex.org/W2482661504","https://openalex.org/W2488664995","https://openalex.org/W2498083054","https://openalex.org/W2589217375","https://openalex.org/W2621271952","https://openalex.org/W2752885492","https://openalex.org/W2763389838","https://openalex.org/W2784308022","https://openalex.org/W2794361663","https://openalex.org/W2806692710","https://openalex.org/W2886345126","https://openalex.org/W2986444891","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4233857092","https://openalex.org/W4234244433","https://openalex.org/W4235545194","https://openalex.org/W4246777939","https://openalex.org/W4247042060","https://openalex.org/W4285719527","https://openalex.org/W4299796063"],"related_works":["https://openalex.org/W1514028771","https://openalex.org/W2318174301","https://openalex.org/W7135718455","https://openalex.org/W6894102757","https://openalex.org/W2101832655","https://openalex.org/W4285805398","https://openalex.org/W2398717901","https://openalex.org/W2168715314","https://openalex.org/W1484565154","https://openalex.org/W7095084743"],"abstract_inverted_index":{"Applying":[0],"swarm":[1],"intelligence":[2],"techniques":[3],"to":[4,10,29,48,78,98,127,140],"software":[5,17,41,51],"engineering":[6,18],"problems":[7,109],"has":[8],"appealed":[9],"both":[11],"researchers":[12],"and":[13,24,143],"practitioners":[14],"in":[15,40,110],"the":[16,36,65,87,111,129,145],"community.":[19],"This":[20,131],"chapter":[21,132],"describes":[22],"issues":[23],"challenges":[25],"of":[26,35,89,103,113],"its":[27],"application":[28],"formal":[30,115,141],"verification,":[31,44,116,142],"which":[32,45],"is":[33,64,85,123],"one":[34],"core":[37],"research":[38,104],"fields":[39],"engineering.":[42],"Formal":[43],"explores":[46],"how":[47,134],"effectively":[49],"verify":[50],"products":[52],"by":[53],"using":[54],"mathematical":[55],"technique,":[56],"often":[57,92],"suffers":[58],"from":[59],"two":[60],"open":[61],"problems.":[62,130],"One":[63],"so-called":[66],"state":[67],"explosion":[68],"problem":[69,84],"that":[70,86,120],"verification":[71,80,90],"tools":[72],"need":[73],"too":[74,93],"many":[75],"computational":[76],"resources":[77],"make":[79],"feasible.":[81],"The":[82],"other":[83],"results":[88],"have":[91,106],"much":[94],"complexity":[95],"for":[96],"users":[97],"understand.":[99],"While":[100],"a":[101,124],"number":[102],"projects":[105],"addressed":[107],"these":[108],"context":[112],"traditional":[114],"recent":[117],"researches":[118],"demonstrate":[119],"Swarm":[121,135],"Intelligence":[122,136],"promising":[125],"tool":[126],"tackle":[128],"presents":[133],"can":[137],"be":[138],"applied":[139],"surveys":[144],"state-of-the-art":[146],"techniques.":[147]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2020-04-17T00:00:00"}