Cited by 187Software Engineering Techniques and PracticesSoftware Engineering ResearchAdvanced Software Engineering Methodologies

A software engineering perspective on engineering machine learning systems: State of the art and challenges

Open access
Giray, Görkem·2021·Journal of Systems and Software

AI snapshot

Written from the paper’s full text.

TL;DR

This systematic literature review synthesizes 141 SE-venue primary studies (2007–Dec 2020) on engineering machine learning systems. It finds that ML systems’ non-deterministic nature complicates all SE aspects, no SE aspect yet has mature tools and techniques, and testing is the most studied area but still lacks strong experimental proof.

Key findings

  • The review analyzed 141 primary studies from SE venues; research interest increased sharply from 2018 onward, and 91% of studies appeared in conferences/workshops (129 papers) versus 12 in journals.
  • Testing is by far the most popular area among researchers, but even for testing ML systems engineers have only tool prototypes and solution proposals with weak experimental proof; many challenges were identified through surveys and interviews.
  • Among 93 experiment/case-study papers, 65 (70%) used only DL algorithms, 19 used traditional ML, 4 used both, and 5 did not report algorithms; image classification was the most popular application scenario, used in 57 studies.
  • No SE aspect has a mature set of tools and techniques, and the paper calls for experiments and case studies, ideally in industrial environments, to better understand challenges and propose solutions.

Methods

  • Systematic literature review following established guidelines, with database search (ACM, IEEE Xplore, ScienceDirect, Springer, Wiley, Google Scholar), backward/forward snowballing, and manual search of ICSE, ESEC/FSE, AIRE, and RAISE.
  • Inclusion/exclusion criteria restricted papers to SE venues and to those involving at least one SE challenge of engineering ML systems; after de-duplication and quality assessment, the final pool was 141 studies.
  • Quantitative analysis reported frequencies/percentages for research methods and application scenarios/datasets; qualitative open coding analyzed challenges and solutions, classified under SWEBOK-based SE knowledge areas.

Limitations

  • Paper-stated: scope is limited to studies published until 31 December 2020, peer-reviewed academic venues (grey literature excluded), and SE venues only (AI/ML/DL/Data Science/Data Management venues excluded); primary study selection, data extraction, and synthesis are subject to researcher bias, which may be higher in a single-author SLR.
  • Paper-stated: single data extraction can produce more errors than double data extraction, and the author notes that selection only from SE venues may miss relevant studies from other venues.
  • Evident from text: the search used broad terms and a “search saturation effect,” checking only the first 200 results per query in each database unless results 190–200 still looked relevant, which may limit recall despite snowballing and manual search.

Model-written summary. Check it against the paper before relying on it.

Integrity signals

Registry

Crossref · 10.1016/j.jss.2021.111031

Cites

256 of 256 references verified0 citation errors · 0 not checkable

Statistics

Nothing to recompute.

Claims the paper makes

0 of 326 cited sources checked · 0 supported · 0 flagged

  • Findingown data

    This study identified more papers published in SE venues (141) than Kumeno (2019) (47).

    “Unlike Kumeno (2019), I was able to identify more papers published in SE venues (141 vs. 47) and provided a taxonomy of challenges and proposed solutions classified under SE's main knowledge areas.”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites Kumeno (2019)

      Not checked in the free run.

  • Findingown data

    Testing is by far the most popular area among researchers.

    “Testing is by far the most popular area among researchers.”
    Quote in the paperNot a substantial claim
  • Findingnone given

    Many of the challenges of ML systems engineering were identified through surveys and interviews.

    “Many of the challenges of ML systems engineering were identified through surveys and interviews.”
    Quote in the paperNot a substantial claim
  • Findingown data

    Despite increasing interest from 2018 onwards, none of the SE aspects have a mature set of tools and techniques.

    “Despite increasing interest from 2018 onwards, the results reveal that none of the SE aspects have a mature set of tools and techniques.”
    Quote in the paperSubstantial claim
  • Findingown data

    This review is the most contemporary and up-to-date review.

    “This review on the state-of-the-art is the most contemporary as it is the most up-to-date review.”
    Quote in the paperSubstantial claim
  • May combine two claims. 62
  • Classified as probably not a substantial claim. 155
  • The quote only partly states this claim. 1
  • May combine two claims.

    Findingnone given

    None of the existing reviews addressing SE aspects cover papers published in 2020, while this study covers papers published until the end of 2020 in SE venues (75 papers in total).

    “While none of the existing reviews addressing SE aspects (Kumeno, 2019;Lwakatare et al., 2020;Nascimento et al., 2020) cover the papers published in 2020, this study covers the papers published until the end of 2020 in SE venues (75 papers in total).”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites Kumeno, 2019;Lwakatare et al., 2020;Nascimento et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingreasoning

    The total number of primary studies equals 147 in Figure 6.

    “Due to these three primary studies using multiple research methods, the total number of primary studies equals 147 in Figure 6.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Findingown data

    Thematic analysis, case study, and statistical analysis are the other approaches used by the researchers.

    “Thematic analysis, case study, and statistical analysis are the other approaches used by the researchers.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Four studies mention ML systems predicting values for combined sewer overflow, stock price, age, real estate value and weather.

    “Four studies mention ML systems predicting values for combined sewer overflow (Challa et al., 2020), stock price (Wang et al., 2020b), age (Gao et al., 2020a), real estate value and weather (Arpteg et al., 2018).”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites Challa et al., 2020

      Not checked in the free run.

    • cites Wang et al., 2020b

      Not checked in the free run.

    • cites Gao et al., 2020a

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    One case study (Nakamichi et al., 2020) addressing requirements engineering challenges did not report its application scenario(s).

    “One case study (Nakamichi et al., 2020) addressing requirements engineering challenges did not report its application scenario(s).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Nakamichi et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    Figure 8 shows the distribution of application scenarios used in 93 of the primary studies, the research method of which is either an experiment or a case study.

    “Figure 8 shows the distribution of application scenarios used in 93 of the primary studies, the research method of which is either an experiment or a case study.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    One of Gao et al.'s experiments involved BERT model over GLUE benchmark, with various batch sizes and sequence lengths.

    “One of their experiments involved BERT (Devlin et al., 2018) model over GLUE (General Language Understanding Evaluation) benchmark (Wang et al., 2018), with various batch sizes and sequence lengths.”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Devlin et al., 2018

      Not checked in the free run.

    • cites Wang et al., 2018

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Liu et al. (2020b) explored technical debts in seven open-source DL frameworks and their impacts on the maintainability of DL systems.

    “Liu et al. (2020b) explored technical debts in seven open-source DL frameworks and their impacts on the maintainability of DL systems.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Liu et al., 2020b

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingnone given

    Three studies involved an ML system for object detection.

    “Three studies involved an ML system for object detection.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    Besides experiments, the researchers interviewed and surveyed experts to learn about the challenges they face in engineering ML systems.

    “Besides experiments, the researchers interviewed and surveyed experts to learn about the challenges they face in engineering ML systems.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Tizpaz-Niari et al. (2020) discovered performance bugs in ML frameworks, such as the implementation of logistic regression in scikit-learn.

    “Tizpaz-Niari et al. (2020) discovered performance bugs in ML frameworks, such as the implementation of logistic regression in scikit-learn.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Tizpaz-Niari et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    Only one study (Murphy et al., 2007) is concerned with a ranking problem.

    “Only one study (Murphy et al., 2007) is concerned with a ranking problem.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Murphy et al., 2007

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    Two other studies (Humbatova et al., 2020; Zhang et al., 2020a) used thematic analysis and interview methods together.

    “Two other studies (Humbatova et al., 2020;Zhang et al., 2020a) used thematic analysis and interview methods together.”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Humbatova et al., 2020

      Not checked in the free run.

    • cites Zhang et al., 2020a

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Sun and Zhou (2018) and Zheng et al. (2019) addressed the challenges of testing an ML system on machine translation.

    “Sun and Zhou (2018) and Zheng et al. (2019) addressed the challenges of testing an ML system on machine translation.”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Sun and Zhou, 2018

      Not checked in the free run.

    • cites Zheng et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    The terms representing the intervention of the study (machine learning or deep learning) include 'Deep Learning,' 'Machine Learning,' 'learning,' 'model,' 'Deep Neural Network,' 'Artificial Intelligence,' 'training,' 'DL model,' 'neural network,' and 'ML model'.

    “There are also many terms representing the intervention of this study, i.e.,”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    The included studies were divided into empirical (127 papers) and non-empirical (15 papers).

    “I divided the included studies into empirical (127 papers) and non-empirical (15 papers), as suggested by Mohanani et al. (2018).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Mohanani et al. (2018)

      Not checked in the free run.

  • May combine two claims.

    Findingnone given

    Ahmed et al. (2020), Dutta et al. (2020), and Wang et al. (2020b) studied problems in DL/ML frameworks related to testing and quality.

    “Ahmed et al. (2020), Dutta et al. (2020), and Wang et al. (2020b) studied problems in DL/ML frameworks related to testing and quality.”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites Ahmed et al., 2020

      Not checked in the free run.

    • cites Dutta et al., 2020

      Not checked in the free run.

    • cites Wang et al., 2020b

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    Two studies (Amershi et al., 2019; Wan et al., 2019) combined interview and survey methods.

    “Two studies (Amershi et al., 2019;Wan et al., 2019) combined interview and survey methods.”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Amershi et al., 2019

      Not checked in the free run.

    • cites Wan et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    The terms representing the population of the study (software engineering) include 'software engineering,' 'development,' 'developer,' 'testing,' 'test,' 'bug,' 'quality,' 'coverage,' 'criterion,' 'requirement,' 'performance,' 'robustness,' 'safety,' 'analysis,' and 'failure'.

    “We can observe many terms that represent the population of this study, i.e.,”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Alshangiti et al. (2019) performed thematic and statistical analysis together.

    “Alshangiti et al. (2019) performed thematic and statistical analysis together.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Alshangiti et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Murphy et al. (2007) aim at ranking the probabilities of observing a failure in a device.

    “Murphy et al. (2007) aim at ranking the probabilities of observing a failure in a device.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Murphy et al., 2007

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Findingcitation

    Pham et al. (2020) conducted experiments to study the variance of DL systems and a survey to understand the awareness of this variance among researchers and practitioners.

    “Pham et al. (2020) conducted experiments to study the variance of DL systems and a survey to understand the awareness of this variance among researchers and practitioners.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Pham et al., 2020

      Not checked in the free run.

  • May combine two claims.

    Findingown data

    Three studies contained application scenarios of Natural Language Processing, two specifically machine translation.

    “Three studies contained application scenarios of Natural Language Processing, two specifically machine translation.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Findingnone given

    Fifteen papers either provide the author's opinions or did not report enough details about the research method.

    “Fifteen papers either provide the author's opinions or did not report enough details about the research method.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Trujillo et al. (2020) used mountain car problem to investigate whether neuron coverage can be used for deep reinforcement learning systems.

    “Trujillo et al. (2020) used mountain car problem to investigate whether neuron coverage can be used for deep reinforcement learning systems.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Trujillo et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    Table 7 shows the list of datasets used more than once in the experiments and case studies in 93 primary studies.

    “Table 7 shows the list of datasets used more than once in the experiments and case studies in 93 primary studies.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Gao et al. (2020b) proposed an estimation tool for GPU memory consumption of DL models to help developers in planning runtime resource requirements.

    “Gao et al. (2020b) proposed an estimation tool for GPU memory consumption of DL models to help developers in planning runtime resource requirements.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Gao et al., 2020b

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    The terms 'challenge' and 'problem' are among the most used terms by the authors to refer to the difficulties they face.

    “Finally yet importantly,”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    The most frequently used 50 terms in the primary studies' abstracts include 'system,' 'software,' 'application,' 'DL software,' 'ML system,' and 'program'.

    “Not surprisingly,”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Findingcitation

    Sculley et al. (2014) reported one of the complexities posed by ML systems as the 'change anything, changes everything' principle, which refers to the dependencies among all the parts of an ML system, i.e., application code, 'glue code,' ML libraries, and external data.

    “They reported one of the complexities posed by ML systems as the”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites Sculley et al., 2014

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Washizaki et al. (2019b) state that ad-hoc solutions are being used for solving everyday problems in developing ML systems.

    “Washizaki et al. (2019b) state that ad-hoc solutions are being used for solving everyday problems in developing ML systems.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Washizaki et al., 2019b

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Wan et al. (2019) interviewed professionals with experience in both traditional and ML system development and reported that nearly every interviewee made a strong statement about differences between the requirements of ML versus non-ML systems.

    “Wan et al. (2019) interviewed professionals with experience in both traditional and ML system development and reported that nearly every interviewee made a strong statement about differences between the requirements of ML versus non-ML systems.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Wan et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Findingcitation

    Benton et al. (2020) proposes an architecture for an ML system that deals with high-volume data, including a component for data federation to deal with structured, unstructured, and streaming data.

    “Benton et al. (2020) proposes an architecture for an ML system that deals with high-volume data.This architecture includes a component for data federation to deal with structured, unstructured, and streaming data.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Benton et al., 2020 source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Jiarpakdee et al. (2020) argued that the lack of explainability of defect prediction models could hinder the adoption of these models in practice.

    “For instance, Jiarpakdee et al. (2020) argued that the lack of explainability of defect prediction models could hinder the adoption of these models in practice.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Jiarpakdee et al., 2020

      Not checked in the free run.

  • May combine two claims.

    Findingreasoning

    184 datasets were reported in 93 studies, which means most of the studies used two datasets on average.

    “184 datasets were reported in 93 studies, which means most of the studies used two datasets on average.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    John et al. (2020a; 2020b) proposed a framework involving five architectural alternatives ranging from centralized cloud to fully decentralized edge architectures for designing ML systems.

    “John et al. (2020a; 2020b) proposed a framework involving five architectural alternatives ranging from centralized cloud to fully decentralized edge architectures for designing ML systems.”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites John et al., 2020a

      Not checked in the free run.

    • cites John et al., 2020b

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Yokoyama (2019) proposes an architectural pattern for locating performance problems and rolling back in case of a failure on production.

    “Yokoyama (2019) proposes an architectural pattern for locating performance problems and rolling back in case of a failure on production.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Yokoyama, 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S1 (asserted), S3 (load-bearing). May combine two claims.

    Findingcitation

    Washizaki et al. (2020) identified 15 design patterns for ML systems and plan to expand the list via further empirical studies.

    “Washizaki et al. (2020) identified 15 design patterns for ML systems and plan to expand the list via further empirical studies.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Washizaki et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Hashemi et al. (2020) automatically generated ML system documentation from StackOverflow Q&As to provide more comprehensive knowledge at different level of expertise.

    “To provide more comprehensive knowledge at different level of expertise, Hashemi et al. (2020) automatically generated ML system documentation from StackOverflow Q&As.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Hashemi et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    The paper classifies the challenges in testing ML systems into eight categories.

    “I classified these challenges into eight categories.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Findingnone given

    The top SE conferences, i.e., ESEC/FSE and ICSE, receive submissions on this emerging topic.

    “In addition, the top SE conferences, i.e., ESEC/FSE and ICSE, receive submissions on this emerging topic.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Findingnone given

    The number of primary studies in SE venues on engineering ML systems has approximately doubled annually every year since 2018.

    “The number of primary studies in SE venues on engineering ML systems has approximately doubled annually every year since 2018.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Findingown data

    One hundred and one papers (72%) were authored solely by academic researchers, 11 papers (8%) by researchers from research organizations or companies, and 29 papers (20%) were written jointly by universities and other organizations.

    “One hundred and one papers (72%) were authored solely by academic researchers, 11 papers (8%) by researchers from research organizations or companies, and 29 papers (20%) were written jointly by universities and other organizations.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Findingown data

    Development & tools and requirements engineering areas are the second and third areas in which researchers collaborated.

    “Development & tools and requirements engineering areas the second and third areas in which researchers collaborated.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Findingown data

    Three papers were published in 2017, after which we see a sharp increase starting from 2018.

    “Three papers were published in 2017, after which we see a sharp increase starting from 2018.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    Researchers collaborated the most within the scope of testing and quality.

    “Also, researchers collaborated the most within the scope of testing and quality.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    The earliest paper (Murphy et al., 2007) was published at the International Conference on Software Engineering & Knowledge Engineering in 2007.

    “The earliest paper (Murphy et al., 2007) was published at the International Conference on Software Engineering & Knowledge Engineering in 2007.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Murphy et al., 2007

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S4 (based).

    Findingnone given

    Regression testing of ML systems has not been addressed in the primary studies.

    “Regression testing of ML systems has not been addressed in the primary studies.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Findingnone given

    SE researchers focused mostly on testing ML systems.

    “SE researchers focused mostly on testing ML systems.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Findingnone given

    Planning, controlling, and monitoring of testing activities for ML systems have not been addressed by researchers.

    “Planning, controlling, and monitoring of testing activities for ML systems have not been addressed by researchers.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    The conference with the most papers (20) is the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE).

    “The conference with the most papers (20) is the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE).”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    Researchers have been showing an increasing interest in this research area since 2018.

    “Researchers have been showing an increasing interest in this research area since 2018 (Figure 9).”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingnone given

    Case studies enabled researchers to collect data on activities related to ML systems in the industry.

    “Case studies enabled researchers to collect data on activities related to ML systems in the industry.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    Experts mentioned many challenges covering all aspects of engineering ML systems in interviews and surveys.

    “As expected, experts mentioned many challenges covering all aspects of engineering ML systems in interviews and surveys.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Findingown data

    The DB search yielded 90 results, snowballing 68, and manual search 58.

    “As shown in Figure4, the DB search yielded 90 results, snowballing 68, and manual search 58.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    The journals with the most papers (three in each) are IEEE Access, IEEE Software, and IEEE Transactions on Software Engineering.

    “The journals with the most papers (three in each) are IEEE Access, IEEE Software, and IEEE Transactions on Software Engineering.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    91% of the studies were presented in conferences and workshops (129 papers in conferences/workshops and 12 papers in journals).

    “91% of the studies were presented in conferences and workshops (129 papers in conferences/workshops and 12 papers in journals).”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Findingown data

    Nineteen papers used traditional ML algorithms, and four papers used both DL and traditional ML algorithms.

    “Nineteen papers used traditional ML algorithms, and four papers used both DL and traditional ML algorithms.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Findingown data

    Although there are a lot of primary studies and secondary studies on this topic, many research questions remain unanswered.

    “Although there are a lot of primary studies (Section 9.1) and secondary studies (Section 3) on this topic, many research questions remain unanswered (Section 6.1 and Table 8).”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Findingown data

    There were 77 studies found via only one search method (DB search: 40, Snowballing: 31, Manual search: 6) and 64 studies via more than search method.

    “There were 77 studies found via only one search method (DB search: 40, Snowballing: 31, Manual search: 6) and 64 studies via more than search method.”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Premisecitation

    Many researchers from SE and ML, as well as industry practitioners, have stated the requirement of a holistic view of engineering ML systems.

    “Many researchers from software engineering (SE) (Hesenius et al., 2019;Northrop et al., 2019) and ML (Karpathy, 2017;Menzies, 2019), as well as industry practitioners (Benton, 2020;Booch, 2019;Lin and Kolcz, 2012) have stated the requirement of such a holistic view.”
    Quote in the paperSubstantial claim0 of 3 sources checked
    • cites Hesenius et al., 2019;Northrop et al., 2019

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

    • cites Karpathy, 2017;Menzies, 2019

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

    • cites Benton, 2020;Booch, 2019;Lin and Kolcz, 2012

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductcitation

    The research method was based on established guidelines.

    “The research method was based on established guidelines (Kitchenham and Charters, 2007;Wohlin, 2014), some previous good examples (Durelli et al., 2019;Mohanani et al., 2018), and my previous experience in conducting SLR (Garousi et al., 2019;Giray and Tüzün, 2018;Tarhan and Giray, 2017).”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites Kitchenham and Charters, 2007;Wohlin, 2014

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

    • cites Durelli et al., 2019;Mohanani et al., 2018

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

    • cites Garousi et al., 2019;Giray and Tüzün, 2018;Tarhan and Giray, 2017

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • Classified as probably not a substantial claim.

    Study design and conductreasoning

    Papers with a quality score lower than six points out of 12 for empirical studies and three points out of six for non-empirical studies were excluded.

    “To maintain a high-quality input of primary studies for this SLR, I decided to exclude the papers with a score lower than six points out of 12 for empirical studies and three points out of six for non-empirical studies.”
    Quote in the paperSubstantial claim
  • Classified as probably not a substantial claim.

    Study design and conductcitation

    Quality assessment criteria proposed by Mohanani et al. (2018) were used to assess the quality of primary studies.

    “To assess the quality of primary studies, I used the quality assessment criteria (Table 5) proposed by Mohanani et al. (2018).”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites Mohanani et al. (2018)

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductnone given

    Challenges and solutions were recorded in the spreadsheet without making any changes as written in the primary studies.

    “For all primary studies, I recorded the challenges and solutions to the spreadsheet without making any changes as written in the primary studies.”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Study design and conductcitation

    The knowledge areas presented in Wan et al. (2019), derived from SWEBOK, were used to classify challenges and solutions.

    “I used the knowledge areas presented in Wan et al. (2019), which was derived from SWEBOK (Bourque and Fairley, 2014) to classify the challenges and solutions.”
    Quote in the paperSubstantial claim0 of 2 sources checked
    • cites Wan et al. (2019)

      Not checked in the free run.

    • cites Bourque and Fairley, 2014

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Traditional ML algorithms entail a manual feature selection process, which may require domain expertise, statistical analysis of input data, and experiments for building models with different feature sets.

    “As briefly explained in Section 2.2, traditional ML algorithms entail a manual feature selection process, which may require domain expertise, statistical analysis of input data, and experiments for building models with different feature sets (Kelleher, 2019).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Kelleher, 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    The industry is calling for action to resolve the challenges of engineering ML systems and to propose new techniques to cope with the additional complexity of ML systems.

    “As these examples show, the industry is calling for action to resolve the challenges of engineering ML systems and to propose new techniques to cope with the additional complexity of ML systems.”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites Lorica and Loukides (2018)

      Not checked in the free run.

    • cites Heck, 2019

      Not checked in the free run.

    • cites Sato et al. (2019)

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Interpretationown data

    Researchers show high interest in testing ML systems.

    “showing researchers' high interest in testing ML systems”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Study design and conductcitation

    Open coding was conducted to analyze the challenges and solutions.

    “I conducted open coding (Miles and Huberman, 1994) to analyze the challenges and solutions.”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites Miles and Huberman, 1994

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductown data

    One study with a score under the threshold was excluded.

    “I excluded one study with a score under the threshold.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    This change poses two crucial challenges: detecting when concept drift occurs and keeping the models up-to-date.

    “This change poses two crucial challenges: detecting when concept drift occurs and keeping the models up-to-date (Maimon and Rokach, 2010).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Maimon and Rokach, 2010

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing).

    Premisecitation

    There is a need for a catalog of patterns dedicated to ML-specific problems.

    “There is a need for a catalog of patterns dedicated to ML-specific problems (Washizaki et al., 2019b).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Washizaki et al., 2019b

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Requirements of ML systems are heavily dependent on available data; different data sets may lead to different needs.

    “Requirements of ML systems are heavily dependent on available data; different data sets may lead to different needs (Rahimi et al., 2019;Wan et al., 2019).”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Rahimi et al., 2019

      Not checked in the free run.

    • cites Wan et al., 2019

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Requirements of ML systems are much more uncertain, and hence they are more difficult to elicit and analyze.

    “Requirements are much more uncertain (Belani et al., 2019;Chechik, 2019;Ishikawa and Yoshioka, 2019;Rahimi et al., 2019;Wan et al., 2019), and hence they are more difficult to elicit and analyze.”
    Quote in the paperSubstantial claim0 of 3 sources checked
    • cites Belani et al., 2019

      Not checked in the free run.

    • cites Chechik, 2019

      Not checked in the free run.

    • cites Ishikawa and Yoshioka, 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S2 (checkable).

    Premisecitation

    Explainability is quite essential in building trust between an ML system and its users.

    “Explainability is quite essential in building trust between an ML system and its users (Nguyen-Duc et al., 2020;Ribeiro et al., 2016).”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Nguyen-Duc et al., 2020

      Not checked in the free run.

    • cites Ribeiro et al., 2016

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Combining data is not always straightforward since different systems can have other objectives for storing data, hence leading to data semantics heterogeneity and data integration problems.

    “In addition, combining data is not always straightforward (Kim et al., 2017;Lwakatare et al., 2019) since different systems can have other objectives for storing data, hence leading to data semantics heterogeneity and data integration problems.”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Kim et al., 2017 source

      Not checked in the free run.

    • cites Lwakatare et al., 2019

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Distributed architectural patterns are widely used in designing ML systems to cope with high-volume data, which leads to additional complexity in architectural and detailed design.

    “Distributed architectural patterns are widely used in designing ML systems to cope with high-volume data (Wan et al., 2019), which leads to additional complexity in architectural and detailed design (Wan et al., 2019).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Wan et al., 2019

      Not checked in the free run.

  • Classified as probably not a substantial claim. May combine two claims.

    Premisecitation

    Known as 'concept drift,' underlying training data distribution may change, and these changes make the model built on old data inconsistent with the new data.

    “Known as”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites Tsymbal, 2004

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Trade-offs among device cost, ML model performance, and data privacy requirements guide the selection of an architectural alternative.

    “Trade-offs among device cost, ML model performance, and data privacy requirements guide the selection of an architectural alternative (John et al., 2020b).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites John et al., 2020b

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Developers may need to optimize a tradeoff between the best features and model complexity.

    “They may need to optimize a possible tradeoff between the best features and model complexity (Sapp, 2017).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Sapp, 2017

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Although non-testability is attributed to a lack of reliable test oracle, there are several challenges in testing ML systems.

    “Although non-testability is attributed to a lack of reliable test oracle (Weyuker, 1982), there are several challenges in testing ML systems.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Weyuker, 1982 source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Model deployment involves some challenges.

    “Model deployment involves some challenges (Chen et al., 2020b).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Chen et al., 2020b

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Adapting the implementation of a neural network for a different task or transferring a built solution to another domain remains a challenge.

    “Adapting the implementation of a neural network for a different task (Zhang et al., 2019a) or transferring a built solution to another domain (Baier et al., 2019) remains a challenge.”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Zhang et al., 2019a

      Not checked in the free run.

    • cites Baier et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Another essential concern in developing ML models is fairness.

    “Another essential concern in developing ML models is fairness (Corbett-Davies and Goel, 2018).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Corbett-Davies and Goel, 2018

      Not checked in the free run.

  • May combine two claims.

    Interpretationreasoning

    Model requirements may not be apparent before starting model development and may be clarified after many experiment iterations.

    “Even the model requirements may not be apparent before starting with model development and may be clarified after many experiment iterations.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Premisecitation

    Developers face challenges in understanding ML algorithms, techniques, and libraries, especially the ones related to DL, and identify a proper model.

    “They face challenges in understanding these (Alshangiti et al., 2019;Zhang et al., 2019a;Zhang et al., 2020a), especially the ones related to DL (Alshangiti et al., 2019), and identify a proper model (Islam, 2019).”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites Alshangiti et al., 2019

      Not checked in the free run.

    • cites Zhang et al., 2019a

      Not checked in the free run.

    • cites Zhang et al., 2020a

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Developing ML models involves sub-activities such as feature engineering, model training, model evaluation, and model deployment.

    “This development endeavor involves some sub-activities, such as feature engineering, model training, model evaluation, and model deployment (Amershi et al., 2019).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Amershi et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    In 2007, Murphy et al. mentioned the idea of testing ML systems and classified such systems as non-testable.

    “In 2007, Murphy et al. (2007) mentioned the idea of testing ML systems and classified such systems as”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Murphy et al., 2007

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Zhou et al. found that OoD-aware ML models are more robust according to their experiments.

    “Zhou et al. (2020b) found out that OoD-aware ML models are more robust according to their experiments.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Zhou et al., 2020b

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    While reusing ML libraries is very common, effective, and efficient, reusing ML models in different domains or systems is not straightforward.

    “While reusing ML libraries is very common, effective, and efficient, reusing ML models in different domains or systems is not straightforward (Alvarez-Rodríguez et al., 2019;Amershi et al., 2019;Baier et al., 2019;Guo et al., 2019;Sankaran et al., 2017).”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites Alvarez-Rodríguez et al., 2019

      Not checked in the free run.

    • cites Amershi et al., 2019

      Not checked in the free run.

    • cites Baier et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    For DL models, feature engineering is performed implicitly during model training.

    “For DL models, feature engineering is performed implicitly during model training (Amershi et al., 2019).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Amershi et al., 2019

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Distributed systems require further knowledge and experience and additional cost and management of associated hardware and software.

    “Distributed systems require further knowledge and experience and additional cost and management of associated hardware and software (Arpteg et al., 2018).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Arpteg et al., 2018

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Imbalanced datasets will most likely lead to inaccurate prediction models.

    “For instance, imbalanced datasets will most likely lead to inaccurate prediction models (He and Garcia, 2009).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites He and Garcia, 2009 source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Well-designed test cases can help in finding many types of defects in ML systems.

    “Welldesigned test cases can help in finding many types of defects in ML systems (Humbatova et al., 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Humbatova et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing).

    Premisecitation

    DL models should be evaluated using various important metrics such as robustness and neuron coverage, besides prediction accuracy.

    “Nevertheless, DL models should be evaluated using various important metrics such as robustness and neuron coverage, besides the widely-used prediction accuracy metric (Tian et al., 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Tian et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    Galhotra et al. proposed a technique to measure causal discrimination and managed to detect significant ML model discrimination towards gender, marital status, or race as many as 77.2% of the individuals in datasets.

    “Galhotra et al. (2017) proposed a technique to measure causal discrimination and managed to detect significant ML model discrimination towards gender, marital status, or race as many as 77.2% of the individuals in datasets.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Galhotra et al., 2017

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    According to the experiments conducted by Haq et al., simulator-generated datasets yielded DNN prediction errors that are similar to those obtained via real-world datasets in autonomous driving domain.

    “For instance, according to the experiments conducted by Haq et al. (2020), simulator-generated datasets yielded DNN prediction errors that are similar to those obtained via real-world datasets in autonomous driving domain.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Haq et al., 2020

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    The discovery of adversarial examples and evaluation of model robustness are fundamental problems in engineering ML systems.

    “The discovery of adversarial examples and evaluation of model robustness are fundamental problems in engineering ML systems (Du et al., 2020;Fujii et al., 2020;Sun et al., 2018).”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites Du et al., 2020

      Not checked in the free run.

    • cites Fujii et al., 2020

      Not checked in the free run.

    • cites Sun et al., 2018

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    Zhou et al. presented DeepReduce, which helped them reduce testing data 7.5% on average and still reliably estimate the performance of DL models.

    “Zhou et al. (2020a) presented their approach named DeepReduce, which helped them reduce testing data 7.5% on average and still reliably estimate the performance of DL models.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Zhou et al., 2020a

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Based on their preliminary results, neuron coverage is not sufficient to reach reliable conclusions about the quality of DeepRL models.

    “Based on their preliminary results, neuron coverage is not sufficient to reach reliable conclusions about the quality DeepRL models (Trujillo et al., 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Trujillo et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Yan et al. claimed that DNN coverage criteria do not have monotonic relations with model quality measured by model accuracy in the presence of adversarial examples.

    “Yan et al. (2020) claimed that DNN coverage criteria do not have monotonic relations with model quality measured by model accuracy in the presence of adversarial examples.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Yan et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    Garcia et al. classified these bugs into 13 root causes, 20 bug symptoms, and 18 categories of software components these bugs often affect.

    “They classified these bugs into 13 root causes, 20 bug symptoms, and 18 categories of software components these bugs often affect (Garcia et al., 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Garcia et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Mutation Testing (MuT) is a fault-based testing technique that claims to address the shortcomings of coverage criteria.

    “Mutation Testing (MuT) is a fault-based testing technique that claims to address the shortcomings of coverage criteria (Jia and Harman, 2010;Zhang et al., 2018c).”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Jia and Harman, 2010

      Not checked in the free run.

    • cites Zhang et al., 2018c

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Based on the experiments conducted by Harel-Canada et al., higher neuron coverage led to fewer defects detected, less natural inputs, and more biased prediction preferences.

    “Based on the experiments conducted by Harel-Canada et al. (2020), higher neuron coverage led to fewer defects detected, less natural inputs, and more biased prediction preferences.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Harel-Canada et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Kim et al. and Sekhon and Fleming state that existing coverage criteria are not sufficiently fine-grained to capture subtle behaviors exhibited by ML systems.

    “Kim et al. (2019) and Sekhon and Fleming (2019) state that existing coverage criteria are not sufficiently fine-grained to capture subtle behaviors exhibited by ML systems.”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Kim et al., 2019

      Not checked in the free run.

    • cites Sekhon and Fleming, 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Li et al. could not find a strong correlation between the number of misclassified inputs in a test set and its structural coverage.

    “Although researchers try to develop new coverage criteria appropriate for DL models, Li et al. (2019) could not find a strong correlation between the number of misclassified inputs in a test set and its structural coverage.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Li et al., 2019

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    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).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Khomh et al., 2018 source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    Flaky tests are observed frequently and may cause problems in software development process.

    “Flaky tests are observed frequently and may cause problems in software development process (Luo et al., 2014).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Luo et al., 2014

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Violation of a metamorphic relation points to a defect.

    “Violation of a metamorphic relation points to a defect (Zhou et al., 2015).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Zhou et al., 2015 source

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Failing to update the code logic accordingly as ML models evolve may introduce bugs and fail to achieve the optimal performance of ML models, and further negatively influence the entire ML-powered system.

    “Failing to update the code logic accordingly as ML models evolve may introduce bugs and fail to achieve the optimal performance of ML models, and further negatively influence the entire ML-powered system (Peng et al., 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Peng et al., 2020

      Not checked in the free run.

  • May combine two claims.

    Interpretationreasoning

    Such mechanisms can detect performance degradation and take the required actions by re-training ML models with new data.

    “Such mechanisms can detect performance degradation and take the required actions by re-training ML models with new data.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Hulten breaks down the ML process into five stages: getting data to model, feature engineering, modeling, deployment, and maintenance.

    “For instance, Hulten (2018) breaks down the ML process into five stages: (1) getting data to model, (2) feature engineering, (3) modeling, (4) deployment, and (5) maintenance.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Hulten, 2018

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Shams demonstrates a three-phase ML product development process to shorten the delivery time from idea generation to deployment.

    “Shams (2018) demonstrates a threephase ML product development process to shorten the delivery time from idea generation to deployment.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Shams, 2018 source

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Canary release approach may limit the possible negative impact of the new ML model and help to cope with the risk of deploying an updated ML model.

    “Canary release approach may limit the possible negative impact of the new ML model and help to cope with the risk of deploying an updated ML model (Yokoyama, 2019).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Yokoyama, 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Experiment components can include hardware, platform, source code, configuration, training data, and model state.

    “These components can include hardware (GPU models primarily), platform (operating system and installed packages), source code (model training and pre-processing), configuration (model configuration and pre-processing settings), training data (input signals and target values), and model state (versions of trained models) (Arpteg et al., 2018;Wan et al., 2019;Yokoyama, 2019).”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites Arpteg et al., 2018

      Not checked in the free run.

    • cites Wan et al., 2019

      Not checked in the free run.

    • cites Yokoyama, 2019

      Not checked in the free run.

    • Rests on an assumption: Each experiment may have many components that affect the outcome, i.e., the ML model.
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Islam et al. found that developers are mostly fixing data dimensions and neural network connectivity.

    “They found that developers are mostly fixing data dimensions and neural network connectivity (Islam et al., 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Islam et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Rao shows the typical steps involved in the model development lifecycle: define problem, collect/cleanse/prepare data, build/train model, tune hyperparameters/validate model, deploy to production.

    “Rao (2019) shows the typical steps involved in the model development lifecycle: (1) define the problem, (2) collect, cleanse, and prepare data, (3) build and train model, (4) tune hyperparameters and validate model, and (5) deploy to production.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Rao, 2019

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Experiment management is a recent and complicated challenge in engineering ML systems.

    “Therefore, experiment management is a recent and complicated challenge in engineering ML systems (Hazelwood et al., 2018;Zaharia et al., 2018).”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Hazelwood et al., 2018

      Not checked in the free run.

    • cites Zaharia et al., 2018

      Not checked in the free run.

    • Rests on an assumption: Some large-scale ML systems involve configuration management at a higher level, i.e., keeping track of experiments.
    • Rests on an assumption: Each experiment may have many components that affect the outcome, i.e., the ML model.
    • Rests on an assumption: It is possible to use automated metaoptimization methods and conduct lots of experiments without human intervention.
  • May combine two claims.

    Premisecitation

    While versioning data is a vital need, the methods and tools to support this are not mature yet.

    “While versioning data is a vital need (Alvarez-Rodríguez et al., 2019;Amershi et al., 2019;Belani et al., 2019;Wan et al., 2019;Yokoyama, 2019), the methods and tools to support this is not mature yet (Amershi et al., 2019).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Amershi et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Peng et al. observed that as ML models evolve, it poses maintenance challenges on the code logic that should coevolve.

    “Peng et al. (2020) observed that as ML models evolve, it poses maintenance challenges on the code logic that should coevolve.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Peng et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Kubernetes ecosystem may ease maintenance and problem localization.

    “For instance, Kubernetes ecosystem may ease maintenance and problem localization (Benton, 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Benton, 2020 source

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    While developers fix bugs, they may introduce adversarial vulnerabilities and new bugs.

    “While developers fix bugs, they may introduce adversarial vulnerabilities and new bugs (Islam et al., 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Islam et al., 2020

      Not checked in the free run.

  • The quote only partly states this claim.

    Interpretationnone given

    Improper experiment management may result in experiments and their results not being analyzed, reported, and shared appropriately.

    “(3) experiments and their results may not be analyzed, reported, and shared appropriately.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    Experimentation activities generate many artifacts (datasets, hyperparameters, models, libraries, etc.), which should be versioned.

    “Whether done automatically or manually, experimentation activities generate many artifacts (datasets, hyperparameters, models, libraries, etc.), which should be versioned (Golovin et al., 2017).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Golovin et al., 2017

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In risky domains, automated checks can be used to trigger notifications if predefined thresholds are violated.

    “In risky domains, automated checks can be used to trigger notifications if predefined thresholds are violated (Baier et al., 2019).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Baier et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Versioning data involves keeping track of datasets, metadata of datasets, and their relationships to ML models.

    “Versioning data does not only involve keeping track of datasets but also keeping track of metadata of datasets (Gebru et al., 2018) and their relationships to ML models (Amershi et al., 2019).”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Gebru et al., 2018

      Not checked in the free run.

    • cites Amershi et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    The steps are not executed as a waterfall process; there is feedback from deployment to problem definition and an iteration from building a model to deployment.

    “The steps are not executed as a waterfall process; there is feedback from deployment to problem definition and an iteration from building a model to deployment (Rao, 2019).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Rao, 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Pan observed that bug fixes may cause both an increase and decrease in robustness of DL models.

    “In another study, Pan (2020) observed that bug fixes may cause both an increase and decrease in robustness of DL models.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Pan, 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Another option is to augment training data with the guidance of newly identified input data and retrain ML model.

    “Another option is to augment training data with the guidance of newly identified input data and retrain ML model (Ren et al., 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Ren et al., 2020

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    With the emergence of many general-purpose ML libraries, services, platforms combined with the accumulation of ML experience, developing ML systems has become relatively easy and cheap, whereas maintaining them over time is difficult and expensive.

    “With the emergence of many general-purpose ML libraries, services, platforms combined with the accumulation of ML experience, developing ML systems has become relatively easy and cheap, whereas maintaining them over time is difficult and expensive (Sculley et al., 2015).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Sculley et al., 2015

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Newly identified data can be used directly for adaptive retraining.

    “Newly identified data can be used directly for adaptive retraining (Stocco and Tonella, 2020).”
    • Also stated in: § 6.1 POTENTIAL RESEARCH DIRECTIONS FROM THE SE PERSPECTIVE · plain
      “The identified data can be used for adaptive retraining.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Stocco and Tonella, 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    An ML engineer needs to understand the mathematical and statistical background of models for proper model fitting and tuning.

    “An ML engineer need to understand the mathematical and statistical background of models for proper model fitting and tuning (Alshangiti et al., 2019).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Alshangiti et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Moreb et al. proposed a process for engineering ML systems in health informatics domain.

    “Moreb et al. (2020) proposed a process for engineering ML systems in health informatics domain.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Moreb et al., 2020 source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    A software engineer may have to deal with distributed systems, web services, and multi-threaded programming.

    “A software engineer may have to deal with distributed systems, web services, and multi-threaded programming (Alshangiti et al., 2019).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Alshangiti et al., 2019

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Due to the uncertainties in the ML process, it is hard to estimate effort and do planning.

    “Due to the uncertainties in the ML process, it is hard to estimate effort and do planning (Wan et al., 2019).”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites Wan et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    The popularity of ML has brought many tools, mostly open-source.

    “The popularity of ML has brought many tools, mostly open-source (Louridas and Ebert, 2016).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Louridas and Ebert, 2016

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    According to Sensemaking-Coevolution-Implementation Theory, sensemaking is one of the core activities in engineering software systems.

    “According to Sensemaking-Coevolution-Implementation Theory, sensemaking is one of the core activities in engineering software systems (Ralph, 2015).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Ralph, 2015 source

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    While data scientists may be pragmatic when coding as long as they achieve the desired results, software engineers may care about code quality and maintainability.

    “For example, while data scientists may be pragmatic when coding as long as they achieve the desired results, software engineers may care about code quality and maintainability (Arpteg et al., 2018).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Arpteg et al., 2018

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    Components with ML capabilities are becoming an architectural part of software systems, sharing cross-cutting functional and non-functional concerns.

    “Components with ML capabilities are becoming an architectural part of software systems, sharing cross-cutting functional and non-functional concerns (Nguyen-Duc et al., 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Nguyen-Duc et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    People having different backgrounds have cultural and language differences.

    “People having different backgrounds have cultural (Arpteg et al., 2018) and language differences.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Arpteg et al., 2018

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Engineering complex systems, such as ML systems, is a complicated endeavor with organizational and technical aspects.

    “Engineering complex systems, such as ML systems, is a complicated endeavor with organizational and technical aspects (Clarke et al., 2016).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Clarke et al., 2016

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Wolf and Paine emphasizes the difficulty of sensemaking for business context, ML algorithms, libraries, and models in ML systems engineering projects.

    “Wolf and Paine (2020) emphasizes the difficulty of sensemaking for business context, ML algorithms, libraries, and models in ML systems engineering projects.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Wolf and Paine, 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Alvarez-Rodríguez et al. identified the formation of a workforce equipped with the required skills to tackle different types of problems in various domains as a challenge.

    “Alvarez-Rodríguez et al. (2019) identified the formation of a workforce equipped with the required skills to tackle different types of problems in various domains as a challenge.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Alvarez-Rodríguez et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    A data preparer requires good data slicing and dicing skills for proper data cleaning and feature preprocessing.

    “A data preparer requires a good data slicing and dicing skills for proper data cleaning and feature preprocessing (Alshangiti et al., 2019).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Alshangiti et al., 2019

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Monitoring for potential performance degradation on production and high-volume data processing are two important design considerations for ML systems.

    “Monitoring for potential performance degradation on production (Wan et al., 2019;Yokoyama, 2019) and high-volume data processing (de Souza Nascimento et al., 2019;Wan et al., 2019) are two important design considerations for ML systems.”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites Wan et al., 2019

      Not checked in the free run.

    • cites Yokoyama, 2019

      Not checked in the free run.

    • cites de Souza Nascimento et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing), S4 (based).

    Interpretationreasoning

    The reason for having much fewer papers in journals may be due to the fact that this topic is still in its infancy.

    “The reason for having much fewer papers in journals may be due to the fact that this topic is still in its infancy.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Premisecitation

    There are some early attempts to determine the ML process' maturity and how ML components are used in larger software systems.

    “There are some early attempts to determine the ML process' maturity (Amershi et al., 2019) and how ML components are used in larger software systems (Lwakatare et al., 2019).”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Amershi et al., 2019

      Not checked in the free run.

    • cites Lwakatare et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    There are some efforts to bring various tools together to support the effective development of ML systems.

    “There are some efforts to bring various tools together to support the effective development of ML systems (Smith et al., 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Smith et al., 2020

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    This diverse set of tools have emerged with challenges, such as compatibility, integration of various components, required knowledge and experience.

    “However, this diverse set of tools have emerged with challenges, such as compatibility (Rahman et al., 2019), integration of various components (Rahman et al., 2019), required knowledge and experience, etc.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Rahman et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    ML systems' development involves a diverse set of frameworks, tools, libraries, and programming languages.

    “ML systems' development involves a diverse set of frameworks, tools, libraries, and programming languages (Rahman et al., 2019).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Rahman et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    While there are generic roles such as data scientist, ML engineer, data analyst, ML software engineer, ML researcher, and software engineer, there are more specific roles, such as data evangelist, data preparer, data shaper, data analyzer.

    “While there are generic roles such as data scientist, ML engineer, data analyst, ML software engineer, ML researcher, and software engineer, there are more specific roles, such as data evangelist, data preparer, data shaper, data analyzer (Kim et al., 2017).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Kim et al., 2017 source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductreasoning

    Broad terms were used to form search keywords to reduce the risk of excluding potentially relevant studies.

    “I used broad terms to form search keywords to reduce the risk of excluding potentially relevant studies.”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Study design and conductnone given

    The study covers primary studies published until 31 December 2020.

    “Date: This study covers primary studies published until the end of 2020, i.e., 31 December 2020.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The success of these coverage criteria is questionable.

    “However, the success of these coverage criteria is questionable (Li et al., 2019).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Li et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Drift detectors may be developed to identify data deviating from training data distribution.

    “To maintain the performance of an ML system above a level that meets customer expectations, drift detectors may be developed to identify data deviating from training data distribution (Stocco and Tonella, 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Stocco and Tonella, 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    A set of guidelines was published to ensure ML systems' quality.

    “A set of guidelines was published to ensure ML systems' quality (QA4AI, 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites QA4AI, 2020

      Not checked in the free run.

  • Classified as probably not a substantial claim. May combine two claims.

    Study design and conductreasoning

    The primary studies have been selected from SE venues to reflect an SE perspective on ML systems engineering, and papers published in AI, ML, DL, Data Science, Data Management venues have been excluded.

    “Perspective: The primary studies have been selected from SE venues to reflect an SE perspective on ML systems engineering.Therefore, papers published in AI, ML, DL, Data Science, Data Management venues have been excluded.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Study design and conductreasoning

    With this approach, precision was decreased and recall increased, finding more candidate papers to be assessed for specifying the final set of primary studies.

    “With this approach, I decreased precision and increased recall found more candidate papers to be assessed for specifying the final set of primary studies.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The course discusses how to take an idea and an ML model developed by data scientists and deploy it as part of a scalable and maintainable system.

    “It discusses how to take an idea and an ML model developed by data scientists and deploy it as part of a scalable and maintainable system.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Kästner and Kang, 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Rudraraju and Boyanapally focused on developing a data quality model for ML systems.

    “Rudraraju and Boyanapally, (2019) focused on developing a data quality model for ML systems.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Rudraraju and Boyanapally, 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductnone given

    Personal bias might have been introduced during the application of inclusion and exclusion criteria.

    “Personal bias might have been introduced during the application of inclusion and exclusion criteria.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    They identified new data quality attributes that are not present in the Data Quality model defined in the standard ISO/IEC 25012.

    “They identified new data quality attributes that are not present in the Data Quality model defined in the standard ISO/IEC 25012.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Rudraraju and Boyanapally, 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The QA4AI Consortium was established in 2018 in Japan to discuss the quality assurance of ML systems.

    “As an example of the fulfillment of this need, the QA4AI Consortium was established in 2018 in Japan to discuss the quality assurance of ML systems (Fujii et al., 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Fujii et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Some concerns, such as some non-functional requirements, may be domain-specific.

    “Some of the concerns, such as some non-functional requirements, may be domain-specific (Nguyen-Duc et al., 2020) and can be discovered by exploring various ML problems.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Nguyen-Duc et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The 2020 Future of Jobs Survey reveals that the top increasingly strategic job roles are data analysts and scientists, AI and ML specialists, robotics engineers, software and application developers, and digital transformation specialists.

    “The 2020 version of the Future of Jobs Survey reveals that the top increasingly strategic job roles are data analysts and scientists, AI and ML specialists, robotics engineers, software and application developers, and digital transformation specialists (World Economic Forum, 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites World Economic Forum, 2020

      Not checked in the free run.

  • Classified as probably not a substantial claim. May combine two claims.

    Study design and conductnone given

    The study comprises studies published in peer-reviewed academic venues, and grey literature has been excluded.

    “Type of Literature: This study comprises studies published in peer-reviewed academic venues.Grey literature, e.g., papers only published in arxiv.org,blogs, videos, etc., have been excluded.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductreasoning

    Backward and forward snowballing along with a manual search were carried out to mitigate the risk of missing some relevant studies.

    “To mitigate the risk of missing some relevant studies, I also carried out both backward and forward snowballing along with a manual search.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Tools to estimate computation and memory requirements, such as DNNMem, may help developers.

    “Tools to estimate computation and memory requirements, such as DNNMem (Gao et al., 2020b), may help developers.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Gao et al., 2020b

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductnone given

    Five widely used online databases in SMS and SLR studies in computer science and software engineering were searched.

    “I also searched for five widely used online databases in SMS and SLR studies in computer science and software engineering.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Researchers analyzed and classified these bugs.

    “Researchers analyzed and classified these bugs (Garcia et al., 2020).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Garcia et al., 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    One of the pioneer courses is the Software Engineering for AI-Enabled Systems course offered at Carnegie Mellon University.

    “One of the pioneer courses is the”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Kästner and Kang, 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Automating tests has become a necessity to cope with large-scale complex systems.

    “Automating tests has become a necessity to cope with large-scale complex systems (Mosley and Posey, 2002).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Mosley and Posey, 2002

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    There are many processes for ML lifecycle and traditional software development.

    “While there are many processes for ML lifecycle (Hulten, 2018;Rao, 2019;Shams, 2018) and traditional software development (Klünder et al., 2019), a set of harmonized practices for developing ML systems is required (Alvarez-Rodríguez et al., 2019;Belani et al., 2019;de Souza Nascimento et al., 2019).”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites Hulten, 2018

      Not checked in the free run.

    • cites Rao, 2019

      Not checked in the free run.

    • cites Shams, 2018 source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Wan et al. only mentioned the difficulty of effort estimation in ML projects.

    “Wan et al.only mentioned the difficulty of effort estimation in ML projects (Wan et al., 2019).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Wan et al., 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    There are some examples of using ML algorithms for project management.

    “While there are some examples of using ML algorithms for project management (two examples in ML for SE by Nassif et al. (2016) and Pospieszny et al. (2018)), our primary study pool does not include any practices for managing ML systems development projects.”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Nassif et al., 2016 source

      Not checked in the free run.

    • cites Pospieszny et al., 2018 source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Validity considerations are applicable for SMS and SLR studies, like empirical studies.

    “Validity considerations are applicable for SMS and SLR studies, like empirical studies (Petersen et al., 2008;Petersen et al., 2015).”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Petersen et al., 2008

      Not checked in the free run.

    • cites Petersen et al., 2015 source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Interpretationreasoning

    There may be other relevant studies published in AI, ML, DL, Data Science, and Data Management venues.

    “There may be other relevant studies published in AI, ML, DL, Data Science, and Data Management venues.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    One of the challenges to be addressed is the identification of metamorphic relations that should be satisfied by an ML system.

    “One of the challenges to be addressed is the identification of metamorphic relations that should be satisfied by an ML system (Kanewala and Bieman, 2014).”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Kanewala and Bieman, 2014 source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The course takes a SE perspective on building software systems with a significant AI/ML component.

    “The course takes a SE perspective on building software systems with a significant AI/ML component.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Kästner and Kang, 2020

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductnone given

    Google Scholar was also searched to enrich the paper pool.

    “Besides these five databases, I also searched Google Scholar to enrich the paper pool.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing).

    Interpretationreasoning

    More testing can be conducted via test automation to reduce the risks of ML systems.

    “More testing can be conducted via test automation to reduce the risks of ML systems.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    Two promising techniques for designing test cases are metamorphic testing techniques and leveraging adversarial techniques to detect erroneous behavior.

    “Two promising techniques for designing test cases are metamorphic testing techniques and leveraging adversarial techniques to detect erroneous behavior (Mjeda and Botterweck, 2019) on which further research is needed.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites Mjeda and Botterweck, 2019

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductnone given

    The threats to this SLR's validity are mainly related to the specification of the candidate pool of papers, primary study selection bias, data extraction, and data synthesis.

    “The threats to this SLR's validity are mainly related to the specification of the candidate pool of papers, primary study selection bias, data extraction, and data synthesis.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductreasoning

    To minimize bias and errors, when inclusion/exclusion could not be decided by reading the abstract, the full text was scanned for the final decision.

    “To minimize this type of bias and errors whenever I could not decide on inclusion/exclusion by reading the abstract, I scanned the full text for the final decision.”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Premisenone given

    The validity of data extraction directly affects this study's results.

    “The validity of data extraction is another essential aspect that directly affects this study's results.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductnone given

    Open coding was applied iteratively and incrementally to identify the challenges and solutions (RQ3).

    “I applied the open coding technique iteratively and incrementally to identify the challenges and solutions (RQ3).”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductreasoning

    This coding process potentially entails some researcher bias.

    “This coding process potentially entails some researcher bias.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Study design and conductcitation

    In general, primary study selection, data extraction, and synthesis are subject to researcher bias, and this bias may be higher than those SLRs with multiple authors.

    “In general, primary study selection, data extraction, and synthesis are subject to researcher bias, and this bias may be higher than those SLRs with multiple authors.”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Study design and conductreasoning

    Existing categories in the literature were used where possible (RQ1, RQ2, and SE knowledge areas in RQ3) to ensure the accuracy of the extracted data.

    “In order to ensure the accuracy of the extracted data, I used existing categories in the literature where possible (RQ1, RQ2, and SE knowledge areas in RQ3).”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductreasoning

    Relevant data in primary studies were mapped to specified groups to decrease the risk of researcher bias.

    “I aimed to decrease the risk of researcher bias by mapping the relevant data in primary studies to the specified groups.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    SLRs with single authors can be found in SE and other research areas.

    “Despite its disadvantages, we can find SLRs with single authors in SE (Malhotra, 2015) and other research areas (Mitchell, 2011).”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites Malhotra, 2015 source

      Not checked in the free run.

    • cites Mitchell, 2011 source

      Not checked in the free run.

192 of 192
  • The authors state this as an assumption.

    The search space can be restricted by assuming a search saturation effect, such that checking the first 200 results of each query in each database is sufficient.

    “Therefore, as others have done (Adams et al., 2016;Garousi and Mäntylä, 2016;Garousi et al., 2018;Godin et al., 2015), I had to restrict the search space by assuming a”
  • The paper relies on this without support.

    The primary studies' abstracts are representative of the full papers for the purpose of term frequency analysis.

    “I created a bar chart of the most frequently used 50 terms in the primary studies' abstracts (Figure 5).”
  • The paper relies on this without support.

    The classification of SE challenges based on the main SE knowledge areas presented in Wan et al. (2019) is suitable for organizing the identified challenges.

    “The identified SE challenges are classified based on the main SE knowledge areas presented in (Wan et al., 2019).”
  • The paper relies on this without support.

    The outputs of an ML model may be used by many other components implicitly.

    “The outputs of an ML model may be used by many other components implicitly.”
  • The paper relies on this without support.

    ML system performance is subject to change due to its non-deterministic nature.

    “Moreover, ML systems should be monitored continuously since their performance is subject to change due to their non-deterministic nature.”
  • The paper relies on this without support.

    ML models are dependent on ML frameworks.

    “ML models are also dependent on ML frameworks.”
  • The paper relies on this without support.

    Some large-scale ML systems involve configuration management at a higher level, i.e., keeping track of experiments.

    “While it is necessary to keep track of changes in data and ML models, some largescale ML systems involve configuration management at a higher level, i.e., keeping track of experiments.”
  • The paper relies on this without support.

    Each experiment may have many components that affect the outcome, i.e., the ML model.

    “Each experiment may have many components that affect the outcome, i.e., the ML model.”
  • The paper relies on this without support.

    It is possible to use automated metaoptimization methods and conduct lots of experiments without human intervention.

    “Also, it is possible to use automated metaoptimization methods and conduct lots of experiments without human intervention.”
  • The paper relies on this without support.

    One of the hardest parts of maintaining ML systems is to keep the performance (such as accuracy) at a certain level or improve it if needed.

    “One of the hardest parts of maintaining ML systems is to keep the performance (such as accuracy) at a certain level or improve it if needed.”
  • The paper relies on this without support.

    There are some process models, phases, activities that document steps to develop and maintain ML models.

    “There are some process models, phases, activities that document steps to develop and maintain ML models.”
  • The paper relies on this without support.

    Adding ML components to a software system involves additional actions to be performed.

    “Adding ML components to a software system involves additional actions to be performed.”
  • The paper relies on this without support.

    Having the required people with proper skill sets is necessary but not sufficient to engineer ML systems.

    “Having the required people with proper skill sets is necessary but not sufficient to engineer ML systems.”
  • The paper relies on this without support.

    Specifying ML components' requirements requires a different perspective than traditional software components.

    “Specifying ML components' requirements requires a different perspective than traditional software components.”
  • The paper relies on this without support.

    ML systems include traditional software components as well.

    “Besides, ML systems include traditional software components as well.”
  • The paper relies on this without support.

    Developers deal with additional complications while developing ML systems.

    “Developers deal with additional complications while developing ML systems.”
  • The paper relies on this without support.

    Another challenge is the estimation of resource requirements for production environment.

    “Another challenge is the estimation of resource requirements for production environment.”
  • The paper relies on this without support.

    Data, ML models, and experiments have become essential configuration items in maintaining ML systems.

    “Data, ML models, and experiments have become essential configuration items in maintaining ML systems.”
  • The paper relies on this without support.

    Keeping versions of data and ML models require tools integrated with the development environment.

    “Keeping versions of data and ML models require tools integrated with the development environment.”
  • The paper relies on this without support.

    Engineering ML systems is a highly practical area.

    “although engineering ML systems is a highly practical area”
  • The paper relies on this without support.

    ML systems engineering brings together two challenging research areas, i.e., SE and ML, and requires various skillsets.

    “ML systems engineering brings together two challenging research areas, i.e., SE and ML, and requires various skillsets.”
  • The paper relies on this without support.

    SE venues can provide a representative set to identify state of the art and challenges of engineering ML systems.

    “However, I believe that SE venues can provide a representative set to identify state of the art and challenges of engineering ML systems.”
  • The paper relies on this without support.

    More and more software systems are involving ML capabilities.

    “More and more software systems are involving ML capabilities.”
  • The paper relies on this without support.

    Advances in machine learning lead to a transition from conventional software development, where algorithms are hard-coded by humans, to ML systems that are materialized through learning from data.

    “Advances in machine learning lead to a transition from the conventional view of software development, where algorithms are hard-coded by humans, to ML systems that are materialized through learning from data.”
24 of 24

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?

  • The quality of included studies was assessed using criteria adapted from [18] and suggested by [17].

    “The quality of included studies was assessed using the criteria found in Table 2, adapted from criteria used by [18] and suggested by [17].”
  • ML models have an additional data dependency, in that their behavior is learned from data, and they have been characterized as non-deterministic.

    “ML models have an additional data dependency, in the sense that their behavior is learned from data, and they have even been characterized as non-deterministic [18,36].”

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

Each contradiction between two passages listed here was confirmed by an independent check.

  • Online testing is said both to identify and miss the same violations

    Minor

    The sentence says that safety violations identified through online testing could not be identified through online testing. The surrounding comparison concerns offline versus online testing.

  • Review method is labeled both SMS and SLR

    Minor

    Table 1 classifies this study as a systematic mapping study (SMS), while the abstract says it was a systematic literature review (SLR).

  • Number of studies using multiple methods is misstated

    Minor

    The text names at least four studies using multiple research methods before claiming that only three such studies account for the total in Figure 6.

  • Test management is described as unaddressed despite a reported case study

    Minor

    The research-directions section says researchers have not addressed test management, but the results section reports a case study that used tools and spreadsheets to manage testing.

4 of 4

Cites

Flagged first, then by citations

Research works printed but not linked: 6

  1. Fujii, 2020, Guidelines for quality assurance of machine learning-based artificial intelligence, Int. J. Softw. Eng. Knowl. Eng., 1
  2. Wan, 2019, How does machine learning change software development practices?, IEEE Trans. Softw. Eng.
  3. Fei-Fei, L., 2010. ImageNet: crowdsourcing, benchmarking & other cool things. In: CMU VASC Seminar (Vol. 16). March. pp. 18-25.
  4. Schwerdtner, P., Grezner, F., Kapoor, N., Assion, F., Sass, R., Günther, W., Hüger, F., Schlicht, P., 2020. Risk assessment for machine learning models. In: Machine Learning for Autonomous Driving Workshop at the 34th Conference on Neural Information Processing Systems (NeurIPS 2020), Vancouver, Canada.
  5. Szegedy, C., Zaremba, W., Sutskever, I., Bruna, J., Erhan, D., Goodfellow, I.J., Fergus, R., 2014. Intriguing properties of neural networks. In: 2nd International Conference on Learning Representations (ICLR).
  6. Zaharia, 2018, Accelerating the machine learning lifecycle with mlflow, IEEE Data Eng. Bull., 41, 39

Cited by

Sorted by citations

Authors
Giray, G.
Corresponding author
Giray, Görkem
Venue
Journal of Systems and Software
Publisher
Elsevier BV
Published
2021-10
Volume
180
Pages
111031
ISSN
0164-1212 (ISSN-L)
OpenAlex
W3112475255
Cited by
187
References
256
Citations by year
2026: 23 · 2025: 37 · 2024: 38 · 2023: 43 · 2022: 36 · 2021: 10
FWCI
28.71
Type
journal article
Language
en
Open access
Locations
  • Journal of Systems and Software (publishedVersion)
  • arXiv (Cornell University) (submittedVersion, cc-by-sa)
  • arXiv (Cornell University) (submittedVersion)
  • arXiv (Cornell University)
Topics
  • Physical Sciences › Computer Science › Information Systems › Software Engineering Techniques and Practices
  • Physical Sciences › Computer Science › Information Systems › Software Engineering Research
  • Physical Sciences › Computer Science › Artificial Intelligence › Advanced Software Engineering Methodologies
Keywords
software engineering for machine learning

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.

Claims read by deepseek-v4.1-flash under definition version 3 (extract-v3) on 2026-10-10.

Classified by jev-1.13-20260917 (gold-guideline-v0.2) on 2026-10-10.

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