Complementarity of Error Detection Techniques

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

PELÁNEK Radek ROSECKÝ Václav MORAVEC Pavel

Year of publication 2008
Type Article in Proceedings
Conference Parallel and Distributed Methods in verifiCation (PDMC 2008)
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords model checking; evaluation; error detection
Description We study explicit techniques for detection of safety errors, e.g., depth-first search, directed search, random walk, and bitstate hashing. We argue that it is not important to find the best technique, but to find a set of complementary techniques. To this end, we choose nine diverse error detection techniques and perform experiments over a large set of models. We compare speed of techniques, lengths of reported counterexamples, and also achieved model coverage. The results show that the studied set of techniques is indeed complementary in several ways.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.