An automated method for mining high-quality assertion sets

vastutusandmed
Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 97
ilmumisaasta
leheküljed
art. 104773
ISSN
0141-9331
märkused
Bibliogr.: 33 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
kategooria (üld)
kvartiil
Q2
TTÜ struktuuriüksus
keel
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