compact view print

An automated method for mining high-quality assertion sets

author
Heidari Iman, Mohammad Reza
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
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Arvutiteadus
category (sub)
Arvutiteadus. Arvutivõrgud ja side
Arvutiteadus. Riistvara ja arhitektuur
Arvutiteadus. Tarkvara
Arvutiteadus. Tehisintellekt
quartile
Q2
TalTech department
arvutisüsteemide instituut
language
inglise
Related publications
Heidari Iman, M.R., 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