C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Specification-guided Software Fault Localization for Autonomous Mobile Systems.
Tomoya Yamaguchi
Bardh Hoxha
Danil V. Prokhorov
Jyotirmoy V. Deshmukh
Published in:
MEMOCODE (2020)
Keyphrases
</>
autonomous mobile
fault localization
program understanding
software development
distributed systems
software systems
complex systems
software testing
high level
management system
software components
databases
state space
open source
intelligent systems
software engineers