Formal and Model−Based Testing of Concurrent Workflows

Formal and Model−Based Testing of Concurrent Workflows

Show other versions (1)

Bibliographic Details
Main Authors:	Wang, C, Cavarra, A, Davies, J
Format:	Conference item
Published:	IEEE 2011

Similar Items

Formal and Model−Based Testing of Concurrent Workflows
by: Wang, C, et al.
Published: (2011)

A guarded workflow language and its formal semantics
by: Wang, C, et al.
Published: (2010)

A Guarded Workflow Language and Its Formal Semantics
by: Wang, C, et al.
Published: (2010)

A Formal Semantics of UML: The ASM Approach
by: Cavarra, A
Published: (2000)

A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment
by: Cavarra, A, et al.
Published: (2004)

Formal Trust Specification in Service Workflows
by: Viriyasitavat, W, et al.
Published: (2015)

Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
by: Cavarra, A, et al.
Published: (2004)

A Formal Model for the Parallel Semantics of P3L
by: Cavarra, A, et al.
Published: (2000)

Teaching Formal Models of Concurrency Specification and Analysis
by: N. V. Shilov
Published: (2015-12-01)

Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines
by: Börger, E, et al.
Published: (2003)

Towards a Formal Framework for Workflow Interoperability
by: Fernando, S, et al.
Published: (2009)

Towards a formal framework for workflow interoperability
by: Fernando, S, et al.
Published: (2008)

A Method for the Automatic Generation of Test Suites from Object Models
by: Davies, J, et al.
Published: (2003)

A Method for the Automatic Generation of Test Suites from Object Models
by: Cavarra, A, et al.
Published: (2004)

A system for deduction-based formal verification of workflow-oriented software models
by: Klimek Radosław
Published: (2014-12-01)

A Modular Formalization of Reversibility for Concurrent Models and Languages
by: Alexis Bernadet, et al.
Published: (2016-08-01)

Formalizing Trust Requirements and Specification in Service Workflow Environments.
by: Viriyasitavat, W, et al.
Published: (2011)

Solving Conflicts in UML State Machines Concurrent States
by: Boerger, E, et al.
Published: (2001)

Formal derivation of concurrent garbage collectors
by: Pavlovic, D, et al.
Published: (2010)

On Formalizing UML State Machines using ASM
by: Börger, E, et al.
Published: (2004)

Checking Model Consistency using Data−Flow Testing
by: Wang, C, et al.
Published: (2009)

Checking Model Consistency Using Data−Flow Testing
by: Wang, C, et al.
Published: (2009)

A formal validation of a deep learning-based automated workflow for the interpretation of the echocardiogram
by: Jasper Tromp, et al.
Published: (2022-11-01)

TOPSIS inspired cost-efficient concurrent workflow scheduling algorithm in cloud
by: K. Kalyan Chakravarthi, et al.
Published: (2022-06-01)

Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines
by: Cavarra, A, et al.
Published: (2003)

Concurrency and Refinement in the Unified Modeling Language
by: Davies, J, et al.
Published: (2002)

Concurrency and Refinement in the Unified Modeling Language
by: Davies, J, et al.
Published: (2003)

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
by: André, É, et al.
Published: (2013)

Time-Sensitive and Resource-Aware Concurrent Workflow Scheduling for Edge Computing Platforms Based on Deep Reinforcement Learning
by: Jiaming Zhang, et al.
Published: (2023-09-01)

Transforming polymorphic process model to petri net: a formal way for validating workflow-based web service composition
by: Mohamad, Radziah, et al.
Published: (2011)

Mapping workflows and managing knowledge : capturing formal and tacit knowledge to improve performance /
by: 554551 Kmetz, John
Published: (2012)

Data Flow Analysis and Testing of Abstract State Machines
by: Cavarra, A
Published: (2008)

A data-flow approach to test multi-agent ASMs.
by: Cavarra, A
Published: (2011)

A data−flow approach to test multi−agent ASMs
by: Cavarra, A
Published: (2011)

Parallel Specification-Based Testing for Concurrent Programs
by: Canh Minh Do, et al.
Published: (2022-01-01)

Formality‚ Evolution‚ and Model−driven Software Engineering
by: Davies, J, et al.
Published: (2005)

Formality, evolution, and model-driven software engineering
by: Davies, J, et al.
Published: (2005)

Concurrent programming /
by: 361244 Burns, Alan, et al.
Published: (1993)

Augmenting the software testing workflow with machine learning
by: Cao, Bingfei
Published: (2018)

Stochastic optimization of laboratory test workflow at metallurgical testing centers
by: F. Tošenovský, et al.
Published: (2016-10-01)