A methodology for automated mining of compact and accurate assertion sets
author
Heidari Iman, Mohammadreza
Raik, Jaan
Jenihhin, Maksim
Jervan, Gert
Ghasempouri, Tara
statement of authorship
Mohammad Reza Heidari Iman; Jaan Raik; Maksim Jenihhin; Gert Jervan; Tara Ghasempouri
source
2021 IEEE Nordic Circuits and Systems Conference (NorCAS) : Oslo, Norway, October 26-27
publisher
IEEE
year of publication
2021
pages
7 p. : ill
conference name, date
2021 IEEE Nordic Circuits and Systems Conference (NorCAS), October 26-27
conference location
Oslo, Norway
url
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9599865
https://doi.org/10.1109/NorCAS53631.2021.9599865
subject term
verifikatsioon
automatiseerimine
algoritmid
programmeerimine
ISBN
978-1-6654-0712-0
notes
Bibliogr.: 27 ref
TTÜ department
arvutisüsteemide instituut
language
inglise
Uurimisrühm
Centre for trustworthy and efficient computing hardware (TECH)
Centre of dependable computing systems