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 条
  • [21] Model-Based Testing for Asynchronous Systems
    Graf-Brill, Alexander
    Hermanns, Holger
    CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION (FMICS-AVOCS 2017), 2017, 10471 : 66 - 82
  • [22] Model-based testing of optimizing compilers
    Zelenov, Sergey
    Zelenova, Sophia
    TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 365 - +
  • [23] Model-Based Testing of Networked Applications
    Li, Yishuai
    Pierce, Benjamin C.
    Zdancewic, Steve
    ISSTA '21: PROCEEDINGS OF THE 30TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2021, : 529 - 539
  • [24] Model-based testing of automotive electronics
    Lamberg, Klaus
    2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 89 - 89
  • [25] A model-based approach for robustness testing
    Fernandez, JC
    Mounier, L
    Pachon, C
    TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2005, 3502 : 333 - 348
  • [26] Model-Based Testing of Electronic Passports
    Mostowski, Wojciech
    Poll, Erik
    Schmaltz, Julien
    Tretmans, Jan
    Schreur, Ronny Wichers
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 207 - 209
  • [27] Incremental Model-based Mutation Testing
    Tiran, Stefan
    2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2015,
  • [28] Efficient model-based bioequivalence testing
    Moellenhoff, Kathrin
    Loingeville, Florence
    Bertrand, Julie
    Nguyen, Thu Thuy
    Sharan, Satish
    Zhao, Liang
    Fang, Lanyan
    Sun, Guoying
    Grosser, Stella
    Mentre, France
    Dette, Holger
    BIOSTATISTICS, 2022, 23 (01) : 314 - 327
  • [29] Model-based Testing of Scratch Programs
    Goetz, Katharina
    Feldmeier, Patric
    Fraser, Gordon
    2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 411 - 421
  • [30] Model-based testing: Challenges ahead
    Heimdahl, MPE
    Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005, : 330 - 330
12345