DMCA
Enhancing random walk state space exploration (2005)
| Citations: | 17 - 3 self |
BibTeX
@MISC{Pelánek05enhancingrandom,
author = {Radek Pelánek and et al.},
title = {Enhancing random walk state space exploration },
year = {2005}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We study the behavior of the random walk method in the context of model checking and its capacity to explore a state space. We describe the methodology we have used for observing the random walk and report on the results obtained. We also describe many possible enhancements of the random walk and study their behavior and limits. Finally, we discuss some practically important but often neglected issues like counterexamples, coverage estimation, and setting of parameters. Similar methodology can be used for studying other state space exploration techniques like bit-state hashing, partial storage methods, or partial order reduction.
Keyphrases
software program verification model subject descriptor software engeneering general term algorithm random walk state space bit-state hashing random walk method state space exploration technique similar methodology model checking partial storage method neglected issue coverage estimation many possible enhancement partial order reduction
