Fault Localization in Multi-threaded C Programs Using Bounded Model Checking | IEEE Conference Publication | IEEE Xplore