A Survey on the Applications of Swarm Intelligence to Software Verification

View Sample PDF

Author(s): Tsutomu Kumazawa (Software Research Associates, Inc., Japan), Munehiro Takimoto (Tokyo University of Science, Japan)and Yasushi Kambayashi (Nippon Institute of Technology, Japan)
Copyright: 2020
Pages: 23
Source title: Handbook of Research on Fireworks Algorithms and Swarm Intelligence
Source Author(s)/Editor(s): Ying Tan (Peking University, China)
DOI: 10.4018/978-1-7998-1659-1.ch017

Keywords: Artificial Intelligence / Biologically-Inspired Computing / Engineering Science Reference / Medicine & Healthcare

Purchase

View A Survey on the Applications of Swarm Intelligence to Software Verification on the publisher's website for pricing and purchasing information.

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.

The IRMA Community

Research IRM

A Survey on the Applications of Swarm Intelligence to Software Verification

Purchase

Abstract

Related Content

IRMA Sponsors