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 条

[1] Model-Based Testing
Schieferdecker, Ina
IEEE SOFTWARE, 2012, 29 (01) : 14 - 18
[2] Model-based testing
Pretschner, A
ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 722 - 723
[3] Combinatorial testing and model-based testing
Hierons, Robert M.
Xie, Tao
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
MACHINE LEARNING FOR DYNAMIC SOFTWARE ANALYSIS: POTENTIALS AND LIMITS, 2018, 11026 : 74 - 100
[5] Model-based testing in practice
Pretschner, A
FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 537 - 541
[6] Model-based testing as a service
Herbold, Steffen
Hoffmann, Andreas
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (03) : 271 - 279
[7] Model-Based Testing of Obligations
Rubab, Iram
Ali, Shaukat
Briand, Lionel
LeTraon, Yves
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
JOURNAL OF AIRCRAFT, 2013, 50 (01): : 176 - 186
[9] Compositionality in Model-Based Testing
van Cuyck, Gijs
van Arragon, Lars
Tretmans, Jan
TESTING SOFTWARE AND SYSTEMS, ICTSS 2023, 2023, 14131 : 202 - 218
[10] The role of model-based testing
Utting, Mark
VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 510 - 517