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 条

[1] CORRECTNESS OF INCONSISTENT THEORIES WITH NOTIONS OF FEASIBILITY
DRAGALIN, AG
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 208 : 58 - 79
[2] From Boolean to Quantitative Notions of Correctness
Henzinger, Thomas A.
[J]. ACM SIGPLAN NOTICES, 2010, 45 (01) : 157 - 157
[3] From Boolean to Quantitative Notions of Correctness
Henzinger, Thomas A.
[J]. POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 157 - 157
[4] Correctness Notions for Petri Nets with Identifiers
van der Werf, Jan Martijn E. M.
Rivkin, Andrey
Montali, Marco
Polyvyanyy, Artem
[J]. FUNDAMENTA INFORMATICAE, 2024, 190 (2-3) : 159 - 207
[5] CORRECTNESS OF SHORT PROOFS IN THEORY WITH NOTIONS OF FEASIBILITY
OREVKOV, VP
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 417 : 242 - 245
[6] SEMANTICAL AND PRAGMATICAL CORRECTNESS AS BASIC NOTIONS OF THE THEORY OF MEANING
BARTSCH, R
[J]. JOURNAL OF PRAGMATICS, 1979, 3 (01) : 1 - 43
[7] Comparative correctness testing
AlexisPonniah, Micheal A.
Jenq, John
[J]. INT CONF ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS AND APPLICATIONS/INT CONF ON COMPUTING, COMMUNICATIONS AND CONTROL TECHNOLOGIES, VOL 1, 2007, : 284 - +
[8] Subsumption, correctness and relative correctness: Implications for software testing
AlBlwi, Samia
Marsit, Imen
Khaireddine, Besma
Ayad, Amani
Loh, JiMeng
Mili, Ali
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2025, 239
[9] CORRECTNESS OF CERAMICS BENDING TESTING
GOGOTSI, GA
GRUSHEVSKII, YL
ZAVADA, VP
[J]. INDUSTRIAL LABORATORY, 1990, 56 (02): : 212 - 217
[10] Testing the correctness of MPI implementations
Keller, Rainer
Resch, Michael
[J]. ISPDC 2006: FIFTH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, : 291 - +

← 1 2 3 4 5 →