View in EDS PDF Full Text

Fault localization using a model checker.

Saved in:
Bibliographic Details
Title: Fault localization using a model checker.
Authors: Griesmayer, Andreas1, agriesma@iist.unu.edu, Staber, Stefan2, Bloem, Roderick3
Source: Software Testing: Verification & Reliability; Jun2010, Vol. 20 Issue 2, p149-173, 25p, 3 Diagrams, 2 Charts, 1 Graph
Database: Applied Science & Technology Source
Description
ISSN:09600833
DOI:10.1002/stvr.421