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 条
  • [31] Model-based testing through a GUI
    Kervinen, Antti
    Maunumaa, Mika
    Paakkonen, Tuula
    Katara, Mika
    FORMAL APPROACHES TO SOFTWARE TESTING, 2006, 3997 : 16 - 31
  • [32] A symbolic framework for model-based testing
    Frantzen, L.
    Tretmans, J.
    Willemse, T. A. C.
    FORMAL APPROACHES TO SOFTWARE TESTING AND RUNTIME VERIFICATION, 2006, 4262 : 40 - +
  • [33] Fast model-based penetration testing
    Singh, S
    Lyons, J
    Nicol, DM
    PROCEEDINGS OF THE 2004 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2004, : 309 - 317
  • [34] Model-Based Testing of Quantum Computations
    Lochau, Malte
    Schaefer, Ina
    TESTS AND PROOFS, TAP 2024, 2025, 15153 : 127 - 147
  • [35] Model-Based Testing for Avionics Systems
    Brauer, Joerg
    Schulze, Uwe
    FORMAL METHODS, 2018, 10951 : 657 - 661
  • [36] Model-based testing with Spec#
    Jacky, J
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 5 - 6
  • [37] Model-Based Automated Accessibility Testing
    Brajnik, Giorgio
    Pighin, Chiara
    Fabbro, Sara
    ASSETS'15: PROCEEDINGS OF THE 17TH INTERNATIONAL ACM SIGACCESS CONFERENCE ON COMPUTERS & ACCESSIBILITY, 2015, : 319 - 320
  • [38] When Model-based Testing Fails
    Aichernig, Bernhard K.
    George, Chris
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 164 (04) : 115 - 128
  • [39] A methodology and a framework for model-based testing
    Lucio, L
    Pedro, L
    Buchs, D
    RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES, 2005, 3475 : 57 - 70
  • [40] Model-based security vulnerability testing
    Pari Salas, Percy A.
    Krishnan, Padmanabhan
    Ross, Kelvin J.
    2007 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 284 - +
12345