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 条
  • [1] Testing, Fixing, and Proving with Contracts
    Furia, Carlo A.
    TESTS AND PROOFS, TAP 2015, 2015, 9154 : XIII - XV
  • [2] METER PROVING/TESTING.
    Anon
    1600, (214):
  • [3] Integration testing and metamorphic testing
    Le Traon, Yves
    Xie, Tao
    Software Testing Verification and Reliability, 2022, 32 (04)
  • [4] Integration testing and metamorphic testing
    Le Traon, Yves
    Xie, Tao
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2022, 32 (04):
  • [5] Integrating Testing and Interactive Theorem Proving
    Chamarthi, Harsh Raju
    Dillinger, Peter C.
    Kaufmann, Matt
    Manolios, Panagiotis
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (70): : 4 - 19
  • [6] PROVING GROUND CORROSION TESTING - AN OVERVIEW
    不详
    AUTOMOTIVE ENGINEERING, 1984, 92 (02): : 30 - 36
  • [7] On a sensitive testing for proving silicic acid
    Lorenz, R
    Bergheimer, E
    ZEITSCHRIFT FUR ANORGANISCHE UND ALLGEMEINE CHEMIE, 1924, 136 (1/2): : 95 - 96
  • [8] Testing and Proving, Hand-in-Hand
    Hoare, Tony
    TESTING - PRACTICE AND RESEARCH TECHNIQUES, 2010, 6303 : 5 - 6
  • [9] Verifying a Class: combining Testing and Proving
    Mirkowska, Grazyna
    Salwicki, Andrzej
    Swida, Oskar
    FUNDAMENTA INFORMATICAE, 2009, 95 (2-3) : 305 - 324
  • [10] Differentiating Integration Testing and Unit Testing
    Brar, Hanmeet Kaur
    Kaur, Puneet Jai
    2015 2ND INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT (INDIACOM), 2015, : 796 - 798
12345