Cited by 95Software Engineering Techniques and PracticesSoftware Engineering ResearchSafety Systems Engineering in Autonomy

Software engineering for machine-learning applications: The road ahead

Khomh, Foutse, Adams, Bram, Cheng, Jinghui, Fokaefs, Marios, Antoniol, Giuliano·2018·IEEE Software

Abstract

The First Symposium on Software Engineering for Machine Learning Applications (SEMLA) aimed to create a space in which machine learning (ML) and software engineering (SE) experts could come together to discuss challenges, new insights, and practical ideas regarding the engineering of ML and AI-based systems. Key challenges discussed included the accuracy of systems built using ML and AI models, the testing of those systems, industrial applications of AI, and the rift between the ML and SE communities. This article is part of a theme issue on software engineering’s 50th anniversary.

Integrity signals

Registry

Crossref · 10.1109/ms.2018.3571224

Cites

Statistics

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

Claims the paper makes

This paper’s full text isn’t openly available, 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?

  • Existing machine learning-based firmware defect detection methods can be divided into three categories based on context-free function matching and template configuration defect detection.

    “The existing machine learning-based firmware defect detection methods can be divided into three categories based on context-free function matching and template configuration defect detection [44].”
  • The difficulties of debugging ML systems were pointed out by several studies.

    “The difficulties of debugging ML systems were pointed out by several studies (Khomh et al., 2018;Wan et al., 2019;Zhang et al., 2018b;Zhang et al., 2019a).”
  • Unlike traditional software, code coverage cannot be used for ML components since the decision logic of ML capability is obtained via training an ML model, not via explicit coding.

    “Unlike traditional software, code coverage cannot be used for ML components since the decision logic of ML capability is obtained via training an ML model, not via explicit coding (Ishikawa and Yoshioka, 2019;Khomh et al., 2018;Kim et al., 2019;Ma et al., 2018b;Sekhon and Fleming, 2019;Sun et al., 2018;Zhang et al., 2020c).”
  • The size of test case sets is enormous, and missing test cases is a more challenging problem for ML systems.

    “The size of test case sets is enormous, and missing test cases is a more challenging problem for ML systems (Khomh et al., 2018).”

Cited by

Sorted by citations

Authors
Khomh, F., Adams, B., Cheng, J., Fokaefs, M., & Antoniol, G.
Affiliations
Polytechnique Montréal (CA)
Venue
IEEE Software
Published
2018-09
Volume
35
Issue
5
Pages
81-84
ISSN
  • 0740-7459 (ISSN-L)
  • 1937-4194
OpenAlex
W2894409651
Cited by
95
References
0
Citations by year
2026: 3 · 2025: 8 · 2024: 11 · 2023: 16 · 2022: 13 · 2021: 21 · 2020: 13 · 2019: 10
FWCI
17.74
Type
journal article
Language
en
Open access
closed
Locations
  • IEEE Software (publishedVersion)
  • PolyPublie (École Polytechnique de Montréal) (submittedVersion)
Topics
  • Physical Sciences › Computer Science › Information Systems › Software Engineering Techniques and Practices
  • Physical Sciences › Computer Science › Information Systems › Software Engineering Research
  • Physical Sciences › Engineering › Safety, Risk, Reliability and Quality › Safety Systems Engineering in Autonomy
Keywords
software engineering for machine learning, artificial intelligence systems, industrial applications of AI

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