Model-based testing of probabilistic systems (Q682363): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q225107
ReferenceBot (talk | contribs)
Changed an Item
 
(9 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Mariëlle I. A. Stoelinga / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Rapture / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: PLASMA / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Matlab / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: PRISM / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: JTorX / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: TorX / rank
 
Normal rank
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.1007/s00165-017-0440-4 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2782289391 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Approaches to Software Testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: FM 2005: Formal Methods / rank
 
Normal rank
Property / cites work
 
Property / cites work: A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5322945 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using schedulers to test probabilistic distributed systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Improved Non-committing Encryption with Applications to Adaptively Secure Protocols / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing preorders for probabilistic processes. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3876158 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A testing scenario for probabilistic processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characterising Testing Preorders for Finite Probabilistic Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4896913 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model-Based Testing of Probabilistic Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing a probabilistic FSM using interval estimation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interactive Markov chains. And the quest for quantified quality / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Platform for High Performance Statistical Model Checking – PLASMA / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4738778 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4178385 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bisimulation through probabilistic testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4835250 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus of communicating systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Global minimization of rational functions and the nearest GCDs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing equivalences for processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5305630 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing probabilistic automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Aided Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Aided Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5713453 / rank
 
Normal rank

Latest revision as of 01:07, 15 July 2024

scientific article
Language Label Description Also known as
English
Model-based testing of probabilistic systems
scientific article

    Statements

    Model-based testing of probabilistic systems (English)
    0 references
    0 references
    2 February 2018
    0 references
    model-based testing
    0 references
    probabilistic automaton
    0 references
    trace distribution
    0 references
    hypothesis testing
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references