VOLUME 17 2012 NUMBER 1

On Testing Output Faults in the McClusky Fault Model
Ulrike Brandt, Hermann K.-G. Walter
Pages 3–16





Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2012-003,
  author  = {Ulrike Brandt and Hermann K.-G. Walter},
  title   = {On Testing Output Faults in the McClusky Fault Model},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {17},
  number  = {1},
  pages   = {3--16},
  year    = {2012},
  url     = {https://doi.org/10.25596/jalc-2012-003},
  doi     = {10.25596/jalc-2012-003}
}
If you would like to see an embedded preview, try to select preview as the action for Portable Document Format (PDF) in your brower settings.
Keywords: finite automata, faults, testability, subautomata, irreducible automata, traverses
DOI: 10.25596/jalc-2012-003