Sciweavers

Share
ENTCS
2007

Can a Model Checker Generate Tests for Non-Deterministic Systems?

8 years 11 months ago
Can a Model Checker Generate Tests for Non-Deterministic Systems?
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker counterexamples, we argue that non-determinism creates difficulties that need to be resolved and propose test generation methods to overcome them. The proposed methods rely on fault modeling by mutation and use conventional (closed) and modular (open) model checkers.
Sergiy Boroday, Alexandre Petrenko, Roland Groz
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors Sergiy Boroday, Alexandre Petrenko, Roland Groz
Comments (0)
books