Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs

by Robert M. Hierons, Uraz Cengiz Türker

Published in ACM Transactions on Software Engineering and Methodology by Association for Computing Machinery (ACM).

2017 Volume 26, p1-34

application/pdf 1.7 MB `file_hq2vxa22f5ahhofwp4w27mceu4`
application/pdf 4.8 MB `file_yzddyftgmbenhamtdr6mxuy2gq`	bura.brunel.ac.uk (web) web.archive.org (webarchive)

Preserved and Accessible

Type article-journal
Stage

published

Date 2017-07-12
Language en ^?

DOI 10.1145/3051121

Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L: 1049-331X

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar

Catalog Record
Revision: 2e21d535-3e78-4829-919d-9f44b43e62b6
API URL: JSON

Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs release_joxeccrgyzbfbfmqr7orr7ntme