.png){kind=icon}
Return
Coverage metrics for actor model programs: A model-based approach
.png){kind=icon}
PRE
AI
DOI：10.1016/j.infsof.2025.107860.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Software testing plays an important role in developing high-quality software. Developers need to understand software test effectiveness; therefore, using coverage criteria for test assessments is common. Selecting appropriate criteria for each software context is crucial, as it can lead to better fault detection. Each context requires a specific test suite to reveal faults, and developers should be aware of the context to select suitable criteria. In actor model programs, developers encounter a specific paradigm and need novel criteria.
Keywords:
software testing
test effectiveness
coverage criteria
actor model
fault detection
Journal
IF:
4.3
Papers:
3.8K
Citations:
7.7K
Organization
No organization information available
Cited Papers
.png){kind=icon}
ShareSave
ShareSaveShareSaveShareSaveShareSaveShareSave
View more