Work

A Survey on the Applications of Swarm Intelligence to Software Verification

Year: 2020

Type: book-chapter

Source: Advances in computational intelligence and robotics book series

DOI: 10.4018/978-1-7998-1659-1.ch017

Authors: Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi

Institutions: Software Research Associates (Japan), Tokyo University of Science, Nippon Institute of Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3015867552

FWCI: 2.81

Cites: 76

Cited by: 5

Related to: 10