Sajad Jalali, Seyed-Hassan Mirian-Hosseinabadi. Coverage metrics for actor model programs: A model-based approach. Information \& Software Technology, 188:107860, 2025. [doi]
@article{JalaliM25,
title = {Coverage metrics for actor model programs: A model-based approach},
author = {Sajad Jalali and Seyed-Hassan Mirian-Hosseinabadi},
year = {2025},
doi = {10.1016/j.infsof.2025.107860},
url = {https://doi.org/10.1016/j.infsof.2025.107860},
researchr = {https://researchr.org/publication/JalaliM25},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {188},
pages = {107860},
}