2020conference

Specification-guided software fault localization for autonomous mobile systems

Tomoya Yamaguchi, Bardh Hoxha, Danil Prokhorov, Jyotirmoy V Deshmukh

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Topics: Runtime Verification and Monitoring

Citation

@inproceedings{yamaguchi2020specification,
  title = {Specification-guided software fault localization for autonomous mobile systems},
  author = {Yamaguchi, Tomoya and Hoxha, Bardh and Prokhorov, Danil and Deshmukh, Jyotirmoy V},
  booktitle = {2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)},
  pages = {1--12},
  year = {2020},
  organization = {IEEE},
  url = {http://www.bhoxha.com/papers/MEMOCODE2020.pdf},
  keywords = {Runtime Verification and Monitoring}
}