Other formats:
BibTeX
LaTeX
RIS
@inproceedings{792712,
author = {Pelánek, Radek and Rosecký, Václav and Moravec, Pavel},
address = {Nizozemsko},
booktitle = {Parallel and Distributed Methods in verifiCation (PDMC 2008)},
keywords = {model checking; evaluation; error detection},
language = {eng},
location = {Nizozemsko},
publisher = {Elsevier},
title = {Complementarity of Error Detection Techniques},
year = {2008}
}
TY - JOUR
ID - 792712
AU - Pelánek, Radek - Rosecký, Václav - Moravec, Pavel
PY - 2008
TI - Complementarity of Error Detection Techniques
PB - Elsevier
CY - Nizozemsko
KW - model checking
KW - evaluation
KW - error detection
N2 - 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.
ER -
PELÁNEK, Radek, Václav ROSECKÝ and Pavel MORAVEC. Complementarity of Error Detection Techniques. In \textit{Parallel and Distributed Methods in verifiCation (PDMC 2008)}. Nizozemsko: Elsevier. 14 pp. ISSN~1571-0661. 2008.
|
