@ARTICLE{8509200, 
author={M. {Efendioglu} and A. {Sen} and Y. {Koroglu}}, 
journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}, 
title={Bug Prediction of SystemC Models Using Machine Learning}, 
year={2019}, 
volume={38}, 
number={3}, 
pages={419-429}, 
keywords={formal verification;learning (artificial intelligence);program debugging;software fault tolerance;software metrics;software quality;system-on-chip;bug history;developer information;machine learning-based technique;given software module;bug-prone;process metrics;direct verification effort;ML-based software bug prediction solution;SystemC models;account system level design metrics;open source system level designs;system-on-chip design;time-to-market;verification resources;design related metrics;development process;Computer bugs;Measurement;Software;Machine learning;C++ languages;Predictive models;Hardware;Bug prediction;machine learning (ML);SystemC;verification}, 
doi={10.1109/TCAD.2018.2878193}, 
ISSN={}, 
month={March},}