@inproceedings{c0df4684d299434eaf5167821e8bec4e,
title = "A testing approach for hidden concurrencies based on process execution logs",
abstract = "It is crucial to ensure correct process model executions. However, existing process testing approaches struggle with the verification of concurrent resource access patters 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.",
keywords = "Concurrency, Process testing, Test case prioritization",
author = "Kristof B{\"o}hmer and Stefanie Rinderle-Ma",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 14th International Conference on Service-Oriented Computing, ICSOC 2016 ; Conference date: 10-10-2016 Through 13-10-2016",
year = "2016",
doi = "10.1007/978-3-319-46295-0_37",
language = "English",
isbn = "9783319462943",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "577--585",
editor = "Samir Tata and Eleni Stroulia and Sami Bhiri and Sheng, {Quan Z.}",
booktitle = "Service-Oriented Computing - 14th International Conference, ICSOC 2016, Proceedings",
}