Logo der Universität Wien

A Testing Approach for Hidden Concurrencies based on Process Execution Logs


It is crucial to ensure correct process model executions. However, existing process testing approaches struggle with the verification of concurrent resource access patterns that can lead to concurrency faults, such as, deadlocks or data corruption during runtime. Thus, we provide a concurrency verification approach that exploits recorded executions to verify the most frequently occurring concurrent resource access patterns with low test execution time. A prototypical implementation along with real life and artificial process execution logs is utilized for an evaluation.

Grafik Top
Grafik Top
Paper in Conference Proceedings or in Workshop Proceedings (Short Paper in Proceedings)
Event Title
14th International Conference On Service Oriented Computing 2016
Workflow Systems and Technology
Event Location
Banff, Canada
Event Type
Event Dates
October 10 - 13 2016
October 2016
Grafik Top
Contact us
Faculty of Computer Science
University of Vienna

Währinger Straße 29
A-1090 Vienna