Testing Non-deterministic Stream X-machine Models and P systems (Q5179428): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.107 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2084049061 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3070874 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing methods for X-machines: a review / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing Software Design Modeled by Finite-State Machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3005247 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing conformance to a quasi-non-deterministic stream X-machine / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing conformance of a deterministic implementation against a non-deterministic stream X-machine / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4210112 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complete deterministic stream X-machine testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing against a non-controllable stream X-machine using state counting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite state based testing of P systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: An integration testing method that is proved to find all faults / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generating test sets from non-deterministic stream X-machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing data processing-oriented systems from stream X-machine models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computing with membranes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Membrane computing. An introduction. / rank
 
Normal rank

Latest revision as of 20:23, 9 July 2024

scientific article; zbMATH DE number 6417441
Language Label Description Also known as
English
Testing Non-deterministic Stream X-machine Models and P systems
scientific article; zbMATH DE number 6417441

    Statements

    Testing Non-deterministic Stream X-machine Models and P systems (English)
    0 references
    0 references
    0 references
    19 March 2015
    0 references
    testing
    0 references
    correctness
    0 references
    X-machines
    0 references
    P systems
    0 references
    finite-state machines
    0 references
    nondeterminism
    0 references

    Identifiers