An automated method for mining high-quality assertion sets

statement of authorship
Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri
publisher
journal volume number month
vol. 97
year of publication
pages
art. 104773
ISSN
0141-9331
notes
Bibliogr.: 33 ref
scientific publication
teaduspublikatsioon
classifier
1.1
category (general)
kvartiil
Q2
TTÜ department
language
inglise
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