Assessing business process models: a literature review on techniques for BPMN testing and formal verification

The biggest business process management problems to solve before we die

(2023) Iris Beerepoot et al.   COMPUTERS IN INDUSTRY

A formal approach for the analysis of BPMN collaboration models

(2021) Flavio Corradini et al.   JOURNAL OF SYSTEMS AND SOFTWARE

Automatic test cases generation from business process models

(2018) Arezoo Yazdani Seqerloo et al.   REQUIREMENTS ENGINEERING

A formal approach to modeling and verification of business process collaborations

(2018) Flavio Corradini et al.   SCIENCE OF COMPUTER PROGRAMMING

Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach

(2018) C. Dechsupa et al.   IEEE Access

Formal verification of complex business processes based on high-level Petri nets

(2017) Ahmed Kheldoun et al.   INFORMATION SCIENCES

Automatic Business Process Test Case Selection: Coverage Metrics, Algorithms, and Performance Optimizations

(2016) Kristof Böhmer et al.   INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS

Model-Based Testing

(2011) Ina Schieferdecker   IEEE SOFTWARE

FORMAL ANALYSIS OF BPMN MODELS: A NuSMV-BASED APPROACH

(2011) VITUS S. W. LAM   INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING

Formalisations and applications of BPMN

(2009) Peter Y.H. Wong et al.   SCIENCE OF COMPUTER PROGRAMMING

Testing data processing-oriented systems from stream X-machine models

(2008) Florentin Ipate et al.   THEORETICAL COMPUTER SCIENCE