Model-based testing - A glossary

被引：0
|
作者：
Pretschner, A
Leucker, M
机构：
[1] ETH, D INFK, Informat Secur, CH-8092 Zurich, Switzerland
[2] Tech Univ Munich, Inst Informat 14, D-85748 Garching, Germany
来源：
MODEL-BASED TESTING OF REACTIVE SYSTEMS | 2005年 / 3472卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：607 / 609
页数：3
相关论文
共 50 条
  • [1] Model-Based Testing
    Schieferdecker, Ina
    [J]. IEEE SOFTWARE, 2012, 29 (01) : 14 - 18
  • [2] Model-based testing
    Le Traon, Yves
    Xie, Tao
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2023, 33 (02):
  • [3] Model-based testing
    Pretschner, A
    [J]. ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 722 - 723
  • [4] Combinatorial testing and model-based testing
    Hierons, Robert M.
    Xie, Tao
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2022, 32 (02):
  • [5] Model Learning and Model-Based Testing
    Aichernig, Bernhard K.
    Mostowski, Wojciech
    Mousavi, Mohammad Reza
    Tappler, Martin
    Taromirad, Masoumeh
    [J]. MACHINE LEARNING FOR DYNAMIC SOFTWARE ANALYSIS: POTENTIALS AND LIMITS, 2018, 11026 : 74 - 100
  • [6] Model-based testing in practice
    Pretschner, A
    [J]. FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 537 - 541
  • [7] Model-Based Testing of Obligations
    Rubab, Iram
    Ali, Shaukat
    Briand, Lionel
    LeTraon, Yves
    [J]. 2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014), 2014, : 1 - 10
  • [8] Model-Based Flight Testing
    de Mendonca, Celso Braga
    da Silva, Edmar Thomaz
    Curvo, Marcelo
    Trabasso, Luis Gonzaga
    [J]. JOURNAL OF AIRCRAFT, 2013, 50 (01): : 176 - 186
  • [9] Model-based testing as a service
    Herbold, Steffen
    Hoffmann, Andreas
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (03) : 271 - 279
  • [10] The role of model-based testing
    Utting, Mark
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 510 - 517
12345