Cited by 17Software Testing and Debugging TechniquesSafety Systems Engineering in AutonomyExplainable Artificial Intelligence (XAI)

The DOI matches its Crossref record; 5 of the 5 references it cites were found in a registry or an index.

Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems

Open access
Fahmy, Hazem, Pastore, Fabrizio, Briand, Lionel, Stifter, Thomas·2023·ACM Transactions on Software Engineering and Methodology

Abstract

When Deep Neural Networks (DNNs) are used in safety-critical systems, engineers should determine the safety risks associated with failures (i.e., erroneous outputs) observed during testing. For DNNs processing images, engineers visually inspect all failure-inducing images to determine common characteristics among them. Such characteristics correspond to hazard-triggering events (e.g., low illumination) that are essential inputs for safety analysis. Though informative, such activity is expensive and error prone. To support such safety analysis practices, we propose Simulator-based Explanations for DNN failurEs (SEDE), a technique that generates readable descriptions for commonalities in failure-inducing, real-world images and improves the DNN through effective retraining. SEDE leverages the availability of simulators, which are commonly used for cyber-physical systems. It relies on genetic algorithms to drive simulators toward the generation of images that are similar to failure-inducing, real-world images in the test set; it then employs rule learning algorithms to derive expressions that capture commonalities in terms of simulator parameter values. The derived expressions are then used to generate additional images to retrain and improve the DNN. With DNNs performing in-car sensing tasks, SEDE successfully characterized hazard-triggering events leading to a DNN accuracy drop. Also, SEDE enabled retraining leading to significant improvements in DNN accuracy, up to 18 percentage points.

Overview

Integrity signals

Registry

Crossref · 10.1145/3569935

Cites

5 of 5 references verified0 citation errors · 0 not checkable

Statistics

Recomputing p-values needs the paper’s full text.

Verification

Claims the paper makes

We couldn’t retrieve this paper’s full text, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Citations

Cites

Flagged first, then by citations

Research works printed but not linked: 50

  1. 10.1145/3180155.3180160 · DOI
  2. Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, and Thomas Stifter. 2018. Testing vision-based control systems using learnable evolutionary algorithms. In Proceedings of the IEEE/ACM 40th International Conference on Software Engineering (ICSE’18). IEEE, 1016–1026. · DOI
  3. Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, and Thomas Stifter. 2016. Testing advanced driver assistance systems using multi-objective search and neural networks. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE’16). 63–74. · DOI
  4. 10.1109/IS48319.2020.9199968 · DOI
  5. 10.1109/SP.2017.49 · DOI · Paper page
  6. 10.1016/B978-1-55860-377-6.50023-2 · DOI
  7. 10.5555/3295222.3295440 · DOI
  8. 10.1109/4235.996017 · DOI · Paper page
  9. Steve Dias Da Cruz, Bertram Taetz, Thomas Stifter, and Didier Stricker. 2022. Autoencoder attractors for uncertainty estimation. In Proceedings of the IEEE International Conference on Pattern Recognition (ICPR’22).
  10. Steve Dias Da Cruz, Bertram Taetz, Thomas Stifter, and Didier Stricker. 2022. Autoencoder for synthetic to real generalization: From simple to more complex scenes. In Proceedings of the IEEE International Conference on Pattern Recognition (ICPR’22).
  11. Logan Engstrom, Brandon Tran, Dimitris Tsipras, Ludwig Schmidt, and Aleksander Madry. 2019. Exploring the landscape of spatial robustness. In Proceedings of the 36th International Conference on Machine Learning(Proceedings of Machine Learning Research, Vol. 97), Kamalika Chaudhuri and Ruslan Salakhutdinov (Eds.). PMLRG, Long Beach, CA, 1802–1811. http://proceedings.mlr.press/v97/engstrom19a.html.
  12. Hasan Ferit Eniser, Simos Gerasimou, and Alper Sen. 2019. DeepFault: Fault localization for deep neural networks. In Fundamental Approaches to Software Engineering, Reiner Hähnle and Wil van der Aalst (Eds.). Springer International Publishing, Cham, 171–191. · DOI
  13. 10.1109/TR.2021.3074750 · DOI
  14. 10.1007/s11263-012-0549-0 · DOI
  15. Eibe Frank and Ian H. Witten. 1998. Generating accurate rule sets without global optimization. In Proceedings of the 15th International Conference on Machine Learning, J. Shavlik (Ed.). Morgan Kaufmann, 144–151.
  16. Xiang Gao, Ripon K. Saha, Mukul R. Prasad, and Abhik Roychoudhury. 2020. Fuzz testing based data augmentation to improve robustness of deep neural networks. In Proceedings of the 42nd International Conference on Software Engineering (ICSE’20). Association for Computing Machinery, New York, NY, 10 pages.
  17. 10.1016/j.cag.2018.09.018 · DOI
  18. Ian J. Goodfellow, Jonathon Shlens, and Christian Szegedy. 2015. Explaining and harnessing adversarial examples. In Proceedings of the 3rd International Conference on Learning Representations (ICLR’15). 1–11.
  19. 10.1145/3510003.3510188 · DOI
  20. 10.1145/3460319.3464802 · DOI
  21. 10.1007/s10664-021-09982-4 · DOI
  22. 10.1109/ICST46399.2020.00019 · DOI
  23. 10.1109/ICIP.2018.8451064 · DOI
  24. International Organization for Standardization. 2020. ISO/PAS 21448:2019, Road Vehicles: Safety of the Intended Functionality.
  25. 10.1109/ICSMC.2009.5346628 · DOI
  26. 10.1109/CVPR42600.2020.01114 · DOI
  27. 10.1109/ICSE.2019.00108 · DOI
  28. 10.1109/CVPRW.2017.158 · DOI
  29. 10.5555/2823861 · DOI
  30. 10.1007/s10664-016-9437-5 · DOI
  31. 10.1145/2792984 · DOI
  32. 10.1145/3236024.3236082 · DOI
  33. Aleksander Madry, Aleksandar Makelov, Ludwig Schmidt, Dimitris Tsipras, and Adrian Vladu. 2018. Towards deep learning models resistant to adversarial attacks. In Proceedings of the 6th International Conference on Learning Representations (ICLR’18). 0–28.
  34. Christoph Molnar. 2011. Interpretable Machine Learning. LuLu.
  35. 10.1007/978-3-030-28954-6_10 · DOI
  36. 10.1109/IV51971.2022.9827170 · DOI
  37. 10.3390/s18020456 · DOI
  38. Alejandro Newell, Kaiyu Yang, and Jia Deng. 2016. Stacked hourglass networks for human pose estimation. In Proceedings of the European Conference on Computer Vision (ECCV’16), Bastian Leibe, Jiri Matas, Nicu Sebe, and Max Welling (Eds.). Springer International Publishing, Cham, 483–499.
  39. 10.1109/TSE.2017.2663435 · DOI
  40. Vitali Petsiuk, Abir Das, and Kate Saenko. 2018. RISE: Randomized input sampling for explanation of black-box models. In Proceedings of the British Machine Vision Conference (BMVC’18).
  41. 10.1109/ASE51524.2021.9678764 · DOI
  42. 10.1145/3368089.3409730 · DOI
  43. 10.1109/ICCV.2017.74 · DOI · Paper page
  44. Jost Tobias Springenberg, Alexey Dosovitskiy, Thomas Brox, and Martin Riedmiller. 2015. Striving for simplicity: The all convolutional net. In Proceedings of the International Conference on Learning Representations (ICLR’15).
  45. 10.1016/j.compstruc.2007.11.006 · DOI
  46. 10.1109/ICSE43902.2021.00038 · DOI
  47. 10.1145/3293882.3330579 · DOI
  48. Matthew D. Zeiler and Rob Fergus. 2014. Visualizing and understanding convolutional networks. In Proceedings of the Eurpoean Conference on Computer Vision (ECCV’14), David Fleet, Tomas Pajdla, Bernt Schiele, and Tinne Tuytelaars (Eds.). Springer International Publishing, Cham, 818–833.
  49. 10.1109/CVPR.2016.319 · DOI · Paper page
  50. 10.1145/3460319.3464811 · DOI

Cited by

Sorted by citations

Metadata

Authors
Fahmy, H., Pastore, F., Briand, L., & Stifter, T.
Affiliations
  • University of Luxembourg (LU)
  • University of Ottawa (CA)
  • IEE (Luxembourg) (LU)
Venue
ACM Transactions on Software Engineering and Methodology
Published
2023-05-27
Volume
32
Issue
4
Pages
1-47
ISSN
  • 1049-331X (ISSN-L)
  • 1557-7392
OpenAlex
W4307811455
Cited by
17
References
5
Citations by year
2026: 5 · 2025: 5 · 2024: 4 · 2023: 2
FWCI
5.99
Type
journal article
Language
en
Open access
Locations
  • ACM Transactions on Software Engineering and Methodology (publishedVersion)
  • arXiv (Cornell University) (submittedVersion)
  • Open Repository and Bibliography (University of Luxembourg) (submittedVersion, other-oa)
  • arXiv (Cornell University)
Funders
  • IEE Luxembourg, Luxembourg’s National Research Fund (BRIDGES2020/IS/14711346/FUNTASY)
  • European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (694277)
  • NSERC of Canada under the Discovery and CRC programs
Topics
  • Physical Sciences › Computer Science › Software › Software Testing and Debugging Techniques
  • Physical Sciences › Engineering › Safety, Risk, Reliability and Quality › Safety Systems Engineering in Autonomy
  • Physical Sciences › Computer Science › Artificial Intelligence › Explainable Artificial Intelligence (XAI)
Keywords
deep neural network, safety-critical systems, genetic algorithm, rule induction, image generation, safety analysis, explainable AI, cyber-physical systems

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review