Model-based testing

被引：0
|
作者：
Le Traon, Yves [1 ]
Xie, Tao [2 ]
机构：
[1] Univ Luxembourg, Interdisciplinary Ctr Secur Reliabil & Trust, Esch Sur Alzette, Luxembourg
[2] Peking Univ, Sch Comp Sci, Beijing, Peoples R China
来源：
SOFTWARE TESTING VERIFICATION & RELIABILITY | 2023年 / 33卷 / 02期
关键词：
D O I：
10.1002/stvr.1841
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页数：1
相关论文
共 50 条
  • [41] Model-Based Testing of Probabilistic Systems
    Gerhold, Marcus
    Stoelinga, Marielle
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2016), 2016, 9633 : 251 - 268
  • [42] Model-based regression testing by OCL
    Zech, Philipp
    Kalb, Philipp
    Felderer, Michael
    Atkinson, Colin
    Breu, Ruth
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (01) : 115 - 131
  • [43] Lightweight Model-Based Testing for Enterprise IT
    Bernard, Elodie
    Ambert, Fabrice
    Legeard, Bruno
    Bouzy, Arnaud
    2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2018, : 224 - 230
  • [44] A taxonomy of model-based testing approaches
    Utting, Mark
    Pretschner, Alexander
    Legeard, Bruno
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (05): : 297 - 312
  • [45] Model-based firewall conformance testing
    Brucker, Achim D.
    Bruegger, Lukas
    Wolff, Burkhart
    TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2008, 5047 : 103 - +
  • [46] Agile Metamorphic Model-based Testing
    Lindvall, Mikael
    Ganesan, Dharmalingam
    Bjorgvinsson, Sigurthor
    Jonsson, Kristjan
    Logason, Haukur Steinn
    Dietrich, Frederik
    Wiegand, Robert E.
    2016 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET), 2016, : 26 - 32
  • [47] Skyfire: Model-Based Testing With Cucumber
    Li, Nan
    Escalona, Anthony
    Kamal, Tariq
    2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 393 - 400
  • [48] Model-based testing of probabilistic systems
    Gerhold, Marcus
    Stoelinga, Marielle
    FORMAL ASPECTS OF COMPUTING, 2018, 30 (01) : 77 - 106
  • [49] Model-based testing of cryptographic protocols
    Rosenzweig, D
    Runje, D
    Schulte, W
    TRUSTWORTHY GLOBAL COMPUTING, 2005, 3705 : 33 - 60
  • [50] An Initial Evaluation of Model-Based Testing
    Gudmundsson, Vignir
    Schulze, Christoph
    Ganesan, Dharmalingam
    Lindvall, Mikael
    Wiegand, Robert
    2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2013, : 13 - +
12345