Heidari Iman, M., Raik, J., Jenihhin, M., Jervan, G., Ghasempouri, T.

An automated method for mining high-quality assertion sets

author

Heidari Iman, Mohammadreza

Raik, Jaan

Jenihhin, Maksim

Jervan, Gert

Ghasempouri, Tara

statement of authorship

Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri

source

Microprocessors and microsystems

publisher

Elsevier

journal volume number month

vol. 97

year of publication

2023

pages

art. 104773

url

https://doi.org/10.1016/j.micpro.2023.104773

subject term

andmekaeve

andmetöötlus

verifikatsioon

algoritmid

keyword

assertion-based verification

automatic assertion mining

assertion qualification

data mining

ISSN

0141-9331

notes

Bibliogr.: 33 ref

scientific publication

teaduspublikatsioon

classifier

1.1

TTÜ department

arvutisüsteemide instituut

language

inglise

Heidari Iman, M., Raik, J., Jenihhin, M., Jervan, G., Ghasempouri, T. An automated method for mining high-quality assertion sets // Microprocessors and microsystems (2023) vol. 97, art. 104773. https://doi.org/10.1016/j.micpro.2023.104773