An automated method for mining high-quality assertion sets

Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri. An automated method for mining high-quality assertion sets. Microprocessors and Microsystems, 97:104773, March 2023. [doi]

Authors

Mohammad Reza Heidari Iman

This author has not been identified. Look up 'Mohammad Reza Heidari Iman' in Google

Jaan Raik

This author has not been identified. Look up 'Jaan Raik' in Google

Maksim Jenihhin

This author has not been identified. Look up 'Maksim Jenihhin' in Google

Gert Jervan

This author has not been identified. Look up 'Gert Jervan' in Google

Tara Ghasempouri

This author has not been identified. Look up 'Tara Ghasempouri' in Google