# An automated method for mining high-quality assertion sets

> Research article (Microprocessors and Microsystems, 2023) · cited 14× · AI/ML

**Wikidata**: [openalex:W4317611831](https://www.wikidata.org/wiki/openalex:W4317611831)  
**Source**: https://4ort.xyz/entity/an-automated-method-for-mining-high-quality-assertion-sets