../
A Survey on Automatic Assertion Miners
- Year
- 2025
- Authors
- Mohammad Reza Heidari Iman, Giorgio Di Natale, Katell Morin-Allory
- DOI
- 10.1109/DDECS63720.2025.11006673
Related
Persistent Notes
In-text annotations
“I. INTRODUCTION” Page 55
“Manual definition of assertions demands substantial human expertise and a deep understanding of the design’s functionality [10, 29, 31, 32]. This process is often costly, time-intensive, and prone to errors [31, 33]. To address these challenges, significant efforts have been made to automate assertion mining [21, 34–46]." Page 55
10 and 31 are their own paper 29 Boule 32 Dordrecht
Boule and Dordrecht are referenced again in 10 which is a thesis. Page 55
%% Import Date: 2026-06-06T21:54:03.127-04:00 %%