2 NOTIONS OF CORRECTNESS AND THEIR RELATION TO TESTING

被引：127
|
作者：
BUDD, TA
ANGLUIN, D
机构：
来源：
ACTA INFORMATICA | 1982年 / 18卷 / 01期
关键词：
D O I：
10.1007/BF00625279
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：31 / 45
页数：15
相关论文
共 50 条
  • [31] A RELATION BETWEEN CORRECTNESS AND RANDOMNESS IN THE COMPUTATION OF PROBABILISTIC ALGORITHMS
    CALUDE, C
    ZIMAND, M
    [J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1984, 16 (01) : 47 - 53
  • [32] Squill: Testing DBMS with Correctness Feedback and Accurate Instantiation
    Wen, Shihao
    Jia, Peng
    Yang, Pin
    Hu, Chi
    [J]. APPLIED SCIENCES-BASEL, 2023, 13 (04):
  • [33] IMPORTANCE OF PROFICIENCY TESTING PROGRAMMES FOR THE CORRECTNESS OF LABORATORY RESULTS
    Srnkova, Jaroslava
    Matejova, Eliska
    [J]. PROCEEDINGS FROM INTERNATIONAL CONFERENCE: SOIL - THE NON-RENEWABLE ENVIRONMENTAL RESOURCE, 2016, : 275 - 278
  • [34] Algorithmic Complexity of Correctness Testing in MC-Scheduling
    Kahil, Rany
    Socci, Dario
    Poplavko, Peter
    Bensalem, Saddek
    [J]. PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS (RTNS 2018), 2018,
  • [35] Correctness Analysis based on Testing and Checking for OpenMP Programs
    Li, Jianjiang
    Hei, Dan
    Yan, Lin
    [J]. FOURTH CHINAGRID ANNUAL CONFERENCE, PROCEEDINGS, 2009, : 210 - 215
  • [36] GENERALIZED PROBLEM OF TESTING CORRECTNESS OF FUNCTIONING OF A FINITE AUTOMATON
    KORNOUSHENKO, EL
    [J]. ENGINEERING CYBERNETICS, 1977, 15 (02): : 87 - 94
  • [37] Formal correctness of a passive testing approach for timed systems
    Andres, Cesar
    Merayo, Mercedes G.
    Nunez, Manuel
    [J]. ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS, 2009, : 67 - 76
  • [38] The relation between generalized notions of radical formula of a module
    Steven
    [J]. COMMUNICATIONS IN ALGEBRA, 2024, 52 (03) : 1179 - 1195
  • [39] Asserting the Correctness of Shor Implementations using Metamorphic Testing
    Costa, Nuno
    Fernandes, Joao Paulo
    Abreu, Rui
    [J]. PROCEEDINGS OF THE 1ST INTERNATIONAL WORKSHOP ON QUANTUM PROGRAMMING FOR SOFTWARE ENGINEERING, QP4SE 2022, 2022, : 32 - 36
  • [40] Testing the SteamVR trackers operation correctness with the OptiTrack system
    Maciejewski, Marcin
    Piszczek, Marek
    Pomianek, Mateusz
    [J]. 13TH CONFERENCE ON INTEGRATED OPTICS: SENSORS, SENSING STRUCTURES, AND METHODS, 2018, 10830
12345