täiskirje prindi

An automated method for mining high-quality assertion sets

autor
vastutusandmed
Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri
allikas
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 97
ilmumisaasta
leheküljed
art. 104773
leitav
ISSN
0141-9331
märkused
Bibliogr.: 33 ref
teaduspublikatsioon
teaduspublikatsioon
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