Verification, validation, and testing of software:: Special issue of the Programmirovanie journal

被引：0

作者：

Petrenko, AK ^{[1
]}

机构：

[1] Russian Acad Sci, Inst Syst Programming, Moscow 109004, Russia

来源：

PROGRAMMING AND COMPUTER SOFTWARE | 2003年 / 29卷 / 06期

关键词：

Operating System; Artificial Intelligence;

D O I：

10.1023/B:PACS.0000004129.28766.3d

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：296 / 297

页数：2

共 50 条

[1] Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal
A. K. Petrenko
[J]. Programming and Computer Software, 2003, 29 : 296 - 297
[2] Special issue: software verification and testing
Mohammad Reza Mousavi
Jun Pang
[J]. Innovations in Systems and Software Engineering, 2013, 9 (2) : 57 - 58
[3] Special issue: software verification and testing
Mousavi, Mohammad Reza
Pang, Jun
[J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2013, 9 (02) : 57 - 58
[4] Special Issue: IEEE International Conference on Software Testing, Validation & Verification 2018
Feldt, Robert
Yoo, Shin
[J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2021, 31 (1-2):
[5] Preface: Special issue on software verification and testing
Merayo, Mercedes G.
Salaun, Gwen
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2017, 132 : 317 - 318
[6] Special Issue ICST 2009, the Second IEEE International Conference on Software Testing, Verification and Validation
Offutt, Jeff
Runeson, Per
[J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2011, 21 (03): : 153 - 154
[7] Special issue on verification and validation
Plant, R
Antoniou, G
[J]. KNOWLEDGE-BASED SYSTEMS, 1999, 12 (1-2) : 1 - 2
[8] Special issue on Verification and Validation
Leonard E. Schwer
William L. Oberkampf
[J]. Engineering with Computers, 2007, 23 : 243 - 244
[9] Special issue on verification and validation
Schwer, Leonard E.
Oberkampf, William L.
[J]. ENGINEERING WITH COMPUTERS, 2007, 23 (04) : 243 - 244
[10] Special issue on verification and validation
Plant, R
Preece, AD
[J]. INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 1996, 44 (02) : 123 - 125

← 1 2 3 4 5 →