Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems Special Track at ISoLA 2016

被引：0
|
作者：
Howar, Falk [1 ]
Meinke, Karl [2 ]
Rausch, Andreas [1 ]
机构：
[1] Tech Univ Clausthal, Clausthal Zellerfeld, Germany
[2] KTH Royal Inst Technol, Stockholm, Sweden
来源：
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II | 2016年 / 9953卷
关键词：
VERIFICATION; AUTOMATA;
D O I：
10.1007/978-3-319-47169-3_50
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：651 / 654
页数：4
相关论文
共 50 条
  • [1] Software Design Decisions for Greener Machine Learning-based Systems
    del Rey, Santiago
    [J]. PROCEEDINGS 2024 IEEE/ACM 3RD INTERNATIONAL CONFERENCE ON AI ENGINEERING-SOFTWARE ENGINEERING FOR AI, CAIN 2024, 2024, : 256 - 258
  • [2] Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010
    Giannakopoulou, Dimitra
    Pasareanu, Corina S.
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 : 640 - 642
  • [3] A machine learning-based reliability assessment model for critical software systems
    Challagulla, Venkata U. B.
    Bastani, Farokh B.
    Paul, Raymond A.
    Tsai, Wei-Tek
    Chen, Yinong
    [J]. COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 79 - +
  • [4] Risk-Based Data Validation in Machine Learning-Based Software Systems
    Foidl, Harald
    Felderer, Michael
    [J]. PROCEEDINGS OF THE 3RD ACM SIGSOFT INTERNATIONAL WORKSHOP ON MACHINE LEARNING TECHNIQUES FOR SOFTWARE QUALITY EVALUATION (MALTESQUE '19), 2019, : 13 - 18
  • [5] Software Engineering of Machine Learning Systems
    Isbell, Charles
    Littman, Michael L.
    Norvig, Peter
    [J]. COMMUNICATIONS OF THE ACM, 2023, 66 (02) : 35 - 37
  • [6] Machine Learning-based Software Effort Estimation : An Analysis
    Polkowski, Zdzislaw
    Vora, Jayneel
    Tanwar, Sudeep
    Tyagi, Sudhanshu
    Singh, Pradeep Kumar
    Singh, Yashwant
    [J]. PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMPUTERS AND ARTIFICIAL INTELLIGENCE (ECAI-2019), 2019,
  • [7] Security for Machine Learning-based Software Systems: A Survey of Threats, Practices, and Challenges
    Chen, Huaming
    Babar, M. Ali
    [J]. ACM COMPUTING SURVEYS, 2024, 56 (06)
  • [8] Software Engineering for Machine-Learning Applications
    Khomh, Foutse
    Adams, Bram
    Cheng, Jinghui
    Fokaefs, Marios
    Antoniol, Giuliano
    [J]. IEEE SOFTWARE, 2018, 35 (05) : 81 - 84
  • [9] Software-defined Software: A Perspective of Machine Learning-based Software Production
    Lee, Rubao
    Wang, Hao
    Zhang, Xiaodong
    [J]. 2018 IEEE 38TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS), 2018, : 1270 - 1275
  • [10] Quality issues in machine learning software systems
    Cote, Pierre-Olivier
    Nikanjam, Amin
    Bouchoucha, Rached
    Basta, Ilan
    Abidi, Mouna
    Khomh, Foutse
    [J]. EMPIRICAL SOFTWARE ENGINEERING, 2024, 29 (06)
12345