An industrial investigation of similarity measures for model-based test case selection

被引:0
|
作者
Simula Research Laboratory, Department of Informatics, University of Oslo, Norway [1 ]
机构
关键词
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I
5635133
中图分类号
学科分类号
摘要
Software testing - Cost effectiveness - Testing - Fault detection - Model checking
引用
收藏
相关论文
共 50 条
  • [31] Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study
    Samih, Hamza
    Le Guen, Helene
    Bogusch, Ralf
    Acher, Mathieu
    Baudry, Benoit
    2014 19TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2014), 2014, : 77 - 80
  • [32] A novel approach to automatic model-based test case generation
    Rezaee, A.
    Zamani, B.
    SCIENTIA IRANICA, 2017, 24 (06) : 3132 - 3147
  • [33] Enhanced Adaptive Random Test Case Prioritization for Model-based Test Suites
    Pospisil, Tomas
    Sobotka, Jan
    Novak, Jiri
    ACTA POLYTECHNICA HUNGARICA, 2020, 17 (07) : 125 - 144
  • [34] Model-Based Test Case Prioritization Using ACO: A review
    Sharma, Sonia
    Singh, Ajmer
    2016 FOURTH INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND GRID COMPUTING (PDGC), 2016, : 177 - 181
  • [35] A Survey on Model-Based Testing Tools for Test Case Generation
    Li, Wenbin
    Le Gall, Franck
    Spaseski, Naum
    TOOLS AND METHODS OF PROGRAM ANALYSIS, 2018, 779 : 77 - 89
  • [36] Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study
    Milanovic, Nikola
    Cartsburg, Mario
    Kutsche, Ralf
    Widiker, Juergen
    Kschonsak, Frank
    MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2009, 5562 : 325 - +
  • [37] Model-based Automated Testing of Mobile Applications: An Industrial Case Study
    Karlsson, Stefan
    Causevic, Adnan
    Sundmark, Daniel
    Larsson, Marten
    2021 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2021), 2021, : 130 - 137
  • [38] Model-based testing of a WAP gateway: An industrial case-study
    Hessel, Anders
    Pettersson, Paul
    FORMAL METHODS: APPLICATIONS AND TECHNOLOGY, 2007, 4346 : 116 - +
  • [39] Investigation of similarity measures for selection of similar images for breast lesions on mammograms
    Muramatsu, C.
    Li, Q.
    Schmidt, R.
    Shiraishi, J.
    Suzuki, K.
    Newstead, G.
    Doi, K.
    MEDICAL PHYSICS, 2007, 34 (06) : 2338 - 2338
  • [40] Significant energy saving in industrial natural draught furnace: A model-based investigation
    Karem, S.
    Al-Obaidi, M. A.
    Alsadaie, S.
    John, Y. M.
    Mujtaba, I. M.
    APPLIED THERMAL ENGINEERING, 2022, 202