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 full text

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

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

Conformance Testing of Distributed Concurrent Systems With Executable Designs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

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

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

Privacy PolicyRefund Policy