[NSS24]
Code Reachability Visualization Based on Probabilistic Model Checking.
Hiroyuki Nakagawa, Shimon Sumita and Shinobu Saito.
In Proc. 36th International Conference on Software Engineering and Knowledge Engineering.
2024.
[Presents an approach for visualising code reachability based on PRISM.]
|
