Automated Coverage Verification is an academic method that systematically evaluates the extent to which a given set of test cases or analyses exercise a predefined coverage criterion through algorithmic, tool-based procedures, thereby distinguishing it from manual or informal verification approaches within the domain of software testing and validation.
3
Publications
54
Citations
14
Authors
8
Institutions
Publications per year
2017–2026
0
Parents
Publications
3
New Methods and Coverage Metrics for Functional Verification
V. Jerinić, Jan Langer, Ulrich Heinkel et al. · 2006 · 18 citations
Aritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013 · 13 citations
1–3 of 3
Authors
14
- PD
1
h-index
- MC
1
h-index
- UH
1
h-index
- JL
1
h-index
- SM
1
h-index
1–5 of 14
Institutions
8
Indian Statistical Institute
Kolkata, India
1 h-index
1 publications
13 citations
Siemens (Hungary)
Budapest, Hungary
1 h-index
1 publications
13 citations
Synopsys (United States)
Mountain View, United States
1 h-index
1 publications
13 citations
University of Pisa
Pisa, Italy
1 h-index
2 publications
46 citations
Chemnitz University of Technology
Chemnitz, Germany
1 h-index
3 publications
54 citations
Indian Institute of Technology Kharagpur
Kharagpur, India
1 h-index
4 publications
52 citations
STMicroelectronics (France)
Montrouge, France
1 h-index
1 publications
23 citations
Synopsys (Switzerland)
Zurich, Switzerland
1 h-index
1 publications
13 citations
1–8 of 8
Venues
- Microprocessors and Microsystems
MICPRO · 1 publications · 23 citations
1
h-index
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
1 publications · 13 citations
1
h-index
1–2