In vivo testing and integration of proving and 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卷 / 07期
关键词：
D O I：
10.1002/stvr.1866
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页数：1
相关论文
共 50 条
  • [21] TESTING FOR PERIODIC INTEGRATION
    BOSWIJK, HP
    FRANSES, PH
    ECONOMICS LETTERS, 1995, 48 (3-4) : 241 - 248
  • [22] INTEGRATION AND SYSTEM TESTING
    AHMARI, R
    DIPIETRO, RS
    REED, SC
    WILLIAMS, JR
    BELL SYSTEM TECHNICAL JOURNAL, 1983, 62 (03): : 885 - 905
  • [23] The integration and testing of XMM
    Kletzkine, P
    ESA BULLETIN-EUROPEAN SPACE AGENCY, 1999, (100) : 68 - 78
  • [24] BPEL Integration Testing
    Jehan, Seema
    Pill, Ingo
    Wotawa, Franz
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2015, 2015, 9033 : 69 - 83
  • [25] TESTING MARKET INTEGRATION
    RAVALLION, M
    AMERICAN JOURNAL OF AGRICULTURAL ECONOMICS, 1986, 68 (01) : 102 - 109
  • [26] Testing and proving distributed algorithms in constructive type theory
    Haiyan, Qiao
    TESTS AND PROOFS, 2007, 4454 : 79 - 94
  • [27] Using a software testing technique to improve theorem proving
    Hähnle, R
    Wallenburg, A
    FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 30 - 41
  • [28] System Integration and In Vivo Testing of a Robot for Ultrasound Guidance and Monitoring During Radiotherapy
    Sen, Hasan Tutkun
    Bell, Muyinatu A. Lediju
    Zhang, Yin
    Ding, Kai
    Boctor, Emad
    Wong, John
    Iordachita, Iulian
    Kazanzides, Peter
    IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, 2017, 64 (07) : 1608 - 1618
  • [29] Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
    Long, Peixun
    Zhao, Jianjun
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2024, 33 (06)
  • [30] Bottom-up Integration Testing with the Technique of Metamorphic Testing
    Xie, Xiaoyuan
    Tu, Jingxuan
    Chen, Tsong Yueh
    Xu, Baowen
    2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014), 2014, : 73 - 78
12345