Specification-guided Software Fault Localization for Autonomous Mobile Systems | IEEE Conference Publication | IEEE Xplore