DMCA
Exploring Very Large State Spaces Using Genetic Algorithms
Cached
Download Links
| Venue: | SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER |
| Citations: | 71 - 2 self |
BibTeX
@MISC{Godefroid_exploringvery,
author = {Patrice Godefroid and Sarfraz Khurshid},
title = { Exploring Very Large State Spaces Using Genetic Algorithms},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We present a novel framework for exploring very large state spaces of concurrent reactive systems. Our framework exploits application-independent heuristics using genetic algorithms to guide a state-space search towards error states. We have implemented this framework in conjunction with VeriSoft, a tool for exploring the state spaces of software applications composed of several concurrent processes executing arbitrary code. We present experimental results obtained with several examples of programs, including a C implementation of a public-key authentication protocol. We discuss heuristics and properties of state spaces that help a genetic search detect deadlocks and assertion violations. For nding errors in very large state spaces, our experiments show that a genetic search using simple heuristics can significantly outperform random and systematic searches.
Keyphrases
state space large state space systematic search genetic search assertion violation genetic algorithm novel framework simple heuristic several concurrent process concurrent reactive system arbitrary code genetic search detect deadlock application-independent heuristic present experimental result software application several example public-key authentication protocol state-space search towards error state
