Software Testing Verification & Reliability

Papers
(The H4-Index of Software Testing Verification & Reliability is 7. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-02-01 to 2025-02-01.)
ArticleCitations
Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults27
20
Issue Information18
RATE: A model‐based testing approach that combines model refinement and test execution13
Model‐based testing13
Issue Information11
Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers9
7
Issue Information7
Property generation/verification and empirical studies7
Farewell after an 11‐year journey as joint editor‐in‐chief7
0.50687003135681