Model-Based Testing for Concurrent Systems With Labelled Event Structures

Software Testing Verification and Reliability- United States

doi 10.1002/stvr.1543

Full Text

Abstract

Available in

Date

Authors

Publisher

Wiley

Related search

Exploiting Model Morphology for Event-Based Testing

IEEE Transactions on Software Engineering
Software
2015English

Supervisory Control of Concurrent Discrete-Event Systems

International Journal of Control
ControlSystems EngineeringComputer Science Applications
1991English

Symbolic Model Based Testing for Component Oriented Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Conformance Testing of Distributed Concurrent Systems With Executable Designs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Verification and Testing of Concurrent Systems With Action Races

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

Model-Based Testing of Probabilistic Systems

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2018English

Automatic Trace-Based Performance Evaluation Model Building for Concurrent Distributed Systems

English

A Labelled Semantics for Soft Concurrent Constraint Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Transition Systems, Event Structures and Unfoldings

DAIMI Report Series
1991English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy