Verification Error Detection is a systematic method within the domain of coverage verification that identifies discrepancies between intended and actual coverage by analyzing execution traces against specified requirements.
37
Publications
1.7K
Citations
129
Authors
57
Institutions
Publications per year
2017–2026
11
Parents
Publications
37
Evaluation of the ArcCHECK QA system for IMRT and VMAT verification
Guangjun Li, Yingjie Zhang, Xiaoqin Jiang et al. · Physica Medica · 2012 · 116 citations
Unrolling SGD: Understanding Factors Influencing Machine Unlearning
Anvith Thudi, Gabriel Deza, Varun Chandrasekaran et al. · 2022 · 112 citations
Automating software feature verification
Gerard J. Holzmann, Margaret Smith · Bell Labs Technical Journal · 2002 · 98 citations
1–5 of 37
Authors
129
- VB
2
h-index
- JS
2
h-index
- RS
2
h-index
- CL
2
h-index
- KC
2
h-index
1–5 of 129
Institutions
57
University of Toronto
Toronto, Canada
3 h-index
5 publications
391 citations
Nokia (United States)
Coppell, United States
3 h-index
3 publications
152 citations
University of Cincinnati
Cincinnati, United States
2 h-index
5 publications
105 citations
University of Michigan
Ann Arbor, United States
2 h-index
8 publications
248 citations
Carnegie Mellon University
Pittsburgh, United States
2 h-index
4 publications
134 citations
AT&T (United States)
Bedminster, United States
2 h-index
5 publications
153 citations
Centre National de la Recherche Scientifique
Paris, France
1 h-index
2 publications
170 citations
University of Limerick
Limerick, Ireland
1 h-index
2 publications
66 citations
1–8 of 57
Venues
- Perceptual and Motor Skills
2 publications · 39 citations
2
h-index
- Physics in Medicine and Biology
1 publications · 57 citations
1
h-index
- IEEE Transactions on Audio Speech and Language Processing
1 publications · 50 citations
1
h-index
- Radiation Oncology
1 publications · 15 citations
1
h-index
- IET Biometrics
BMT · 1 publications · 15 citations
1
h-index
1–5