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

prindi

An automated method for mining high-quality assertion sets

autor

Heidari Iman, Mohammadreza

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

klassifikaator

1.1

TTÜ struktuuriüksus

arvutisüsteemide instituut

keel

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