prindi

An automated method for mining high-quality assertion sets

autor
Heidari Iman, Mohammad Reza
Raik, Jaan
Jenihhin, Maksim
Jervan, Gert
Ghasempouri, Tara
vastutusandmed
Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri
allikas
Microprocessors and microsystems
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
vol. 97
ilmumisaasta
2023
leheküljed
art. 104773
leitav
https://doi.org/10.1016/j.micpro.2023.104773
märksõna
andmekaeve
andmetöötlus
verifikatsioon
algoritmid
võtmesõna
assertion-based verification
automatic assertion mining
assertion qualification
data mining
ISSN
0141-9331
märkused
Bibliogr.: 33 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
kategooria (üld)
Arvutiteadus
kategooria (alam)
Arvutiteadus. Arvutivõrgud ja side
Arvutiteadus. Riistvara ja arhitektuur
Arvutiteadus. Tarkvara
Arvutiteadus. Tehisintellekt
kvartiil
Q2
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise
Uurimisrühm
Usaldusväärsete arvutisüsteemide keskus
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