Probabilistic Model Checking GitHub Repositories for Software Project Analysis

[JKK24] Suhee Jo, Ryeonggu Kwon and Gihwon Kwon. Probabilistic Model Checking GitHub Repositories for Software Project Analysis. Applied Sciences. 2024. [Analyses open source code repositories using probabilistic model checking and PRISM ]

Links: [Google] [Google Scholar]

Publications

Selected publications
PRISM publications
PRISM bibliography
External publications
References
Search