Specification-guided Software Fault Localization for Autonomous Mobile Systems.

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

Browse the full MEMOCODE paper archive.