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 条
  • [41] A taxonomy of model-based testing approaches
    Utting, Mark
    Pretschner, Alexander
    Legeard, Bruno
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (05): : 297 - 312
  • [42] Model-based testing of cryptographic protocols
    Rosenzweig, D
    Runje, D
    Schulte, W
    [J]. TRUSTWORTHY GLOBAL COMPUTING, 2005, 3705 : 33 - 60
  • [43] Model-based firewall conformance testing
    Brucker, Achim D.
    Bruegger, Lukas
    Wolff, Burkhart
    [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2008, 5047 : 103 - +
  • [44] Agile Metamorphic Model-based Testing
    Lindvall, Mikael
    Ganesan, Dharmalingam
    Bjorgvinsson, Sigurthor
    Jonsson, Kristjan
    Logason, Haukur Steinn
    Dietrich, Frederik
    Wiegand, Robert E.
    [J]. 2016 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET), 2016, : 26 - 32
  • [45] On Model-Based Testing Advanced GUIs
    Lelli, Valeria
    Blouin, Arnaud
    Baudry, Benoit
    Coulon, Fabien
    [J]. 2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2015,
  • [46] Skyfire: Model-Based Testing With Cucumber
    Li, Nan
    Escalona, Anthony
    Kamal, Tariq
    [J]. 2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 393 - 400
  • [47] Model-based testing of probabilistic systems
    Gerhold, Marcus
    Stoelinga, Marielle
    [J]. FORMAL ASPECTS OF COMPUTING, 2018, 30 (01) : 77 - 106
  • [48] Lightweight Model-Based Testing for Enterprise IT
    Bernard, Elodie
    Ambert, Fabrice
    Legeard, Bruno
    Bouzy, Arnaud
    [J]. 2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2018, : 224 - 230
  • [49] Model-Based Testing of Probabilistic Systems
    Gerhold, Marcus
    Stoelinga, Marielle
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2016), 2016, 9633 : 251 - 268
  • [50] Model-Based Automated Accessibility Testing
    Brajnik, Giorgio
    Pighin, Chiara
    Fabbro, Sara
    [J]. ASSETS'15: PROCEEDINGS OF THE 17TH INTERNATIONAL ACM SIGACCESS CONFERENCE ON COMPUTERS & ACCESSIBILITY, 2015, : 319 - 320
12345