Incremental Concolic Testing of Register-Transfer Level Designs
Article in ACM Transactions on Design Automation of Electronic Systems (May 2024)
The most recent citing publications are shown below. View all 63 publications that cite this research output on Dimensions.
Article in ACM Transactions on Design Automation of Electronic Systems (May 2024)
Conference proceeding (April 2024)
Article in ACM Computing Surveys (January 2024)