We introduce a new fault localization technique based on these parametric specifications that identifies the likeliest subsystem that has a fault.
To ad- dress this issue, we propose a specification library for autonomous mobile systems called TLAM (Temporal Logic for Autonomous. Mobility). Our ...
Specification-guided Software Fault Localization for Autonomous Mobile ...
ieeexplore.ieee.org › iel7
To ad- dress this issue, we propose a specification library for autonomous mobile systems called TLAM (Temporal Logic for Autonomous. Mobility). Our ...
A fault localization method accompanied with a repair approach for Simulink models is presented in [35], where the fault is localized by applying a matrix ...
Specification-guided Software Fault Localization for Autonomous Mobile Systems. T. Yamaguchi, B. Hoxha, D. Prokhorov, and J. Deshmukh. MEMOCODE, page 1-12 ...
Bibliographic details on Specification-guided Software Fault Localization for Autonomous Mobile Systems.
@inproceedings{yamaguchi2020specification, title={Specification-guided software fault localization for autonomous mobile systems}, author={Yamaguchi, Tomoya ...
People also ask
What are software fault localization techniques?
What is automatic fault localization?
Specification-guided software fault localization for autonomous mobile systems. T Yamaguchi, B Hoxha, D Prokhorov, JV Deshmukh. 2020 18th ACM-IEEE ...
2021, Smart Transportation: AI Enabled Mobility and Autonomous Driving. Specification-guided Software Fault Localization for Autonomous Mobile Systems. 2020 ...
Verification and Control for Autonomous Mobile Systems. https ... Yamaguchi, Specification-guided software fault localization for autonomous mobile systems ...