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
来源
关键词
D O I
10.1002/stvr.1841
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页数:1
相关论文
共 50 条
  • [1] Model-Based Testing
    Schieferdecker, Ina
    [J]. IEEE SOFTWARE, 2012, 29 (01) : 14 - 18
  • [2] Model-based testing
    Pretschner, A
    [J]. ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 722 - 723
  • [3] Combinatorial testing and model-based testing
    Hierons, Robert M.
    Xie, Tao
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2022, 32 (02):
  • [4] 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
  • [5] Model-Based Security Testing
    Schieferdecker, Ina
    Grossmann, Juergen
    Schneider, Martin
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (80): : 1 - 12
  • [6] The role of model-based testing
    Utting, Mark
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 510 - 517
  • [7] Compositionality in Model-Based Testing
    van Cuyck, Gijs
    van Arragon, Lars
    Tretmans, Jan
    [J]. TESTING SOFTWARE AND SYSTEMS, ICTSS 2023, 2023, 14131 : 202 - 218
  • [8] Model-based testing as a service
    Herbold, Steffen
    Hoffmann, Andreas
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (03) : 271 - 279
  • [9] 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
  • [10] 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