Welcome to the InfoSci Platform
Reference Hub3
A Survey on the Applications of Swarm Intelligence to Software Verification

A Survey on the Applications of Swarm Intelligence to Software Verification

Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi
Copyright: © 2020 |Pages: 23
ISBN13: 9781799816591|ISBN10: 1799816591|EISBN13: 9781799816607
DOI: 10.4018/978-1-7998-1659-1.ch017
Cite Chapter Cite Chapter

MLA

Kumazawa, Tsutomu, et al. "A Survey on the Applications of Swarm Intelligence to Software Verification." Handbook of Research on Fireworks Algorithms and Swarm Intelligence, edited by Ying Tan, IGI Global, 2020, pp. 376-398. https://doi.org/10.4018/978-1-7998-1659-1.ch017

APA

Kumazawa, T., Takimoto, M., & Kambayashi, Y. (2020). A Survey on the Applications of Swarm Intelligence to Software Verification. In Y. Tan (Ed.), Handbook of Research on Fireworks Algorithms and Swarm Intelligence (pp. 376-398). IGI Global. https://doi.org/10.4018/978-1-7998-1659-1.ch017

Chicago

Kumazawa, Tsutomu, Munehiro Takimoto, and Yasushi Kambayashi. "A Survey on the Applications of Swarm Intelligence to Software Verification." In Handbook of Research on Fireworks Algorithms and Swarm Intelligence, edited by Ying Tan, 376-398. Hershey, PA: IGI Global, 2020. https://doi.org/10.4018/978-1-7998-1659-1.ch017

Export Reference

Mendeley
Favorite

Abstract

Applying swarm intelligence techniques to software engineering problems has appealed to both researchers and practitioners in the software engineering community. This chapter describes issues and challenges of its application to formal verification, which is one of the core research fields in software engineering. Formal verification, which explores how to effectively verify software products by using mathematical technique, often suffers from two open problems. One is the so-called state explosion problem that verification tools need too many computational resources to make verification feasible. The other problem is that the results of verification have often too much complexity for users to understand. While a number of research projects have addressed these problems in the context of traditional formal verification, recent researches demonstrate that Swarm Intelligence is a promising tool to tackle the problems. This chapter presents how Swarm Intelligence can be applied to formal verification, and surveys the state-of-the-art techniques.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.