Preface: Special issue on software verification and testing

被引：0

作者：

Merayo, Mercedes G. ^{[1
]}

Salaun, Gwen ^{[2
]}

机构：

[1] Univ Complutense Madrid, Madrid, Spain

[2] Univ Grenoble Alpes, Grenoble, France

来源：

JOURNAL OF SYSTEMS AND SOFTWARE | 2017年 / 132卷

关键词：

D O I：

10.1016/j.jss.2017.07.025

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：317 / 318

页数：2

共 50 条

[1] Preface to Special Issue on Software Verification
Hoare, C. A. R.
Misra, Jayadev
ACM COMPUTING SURVEYS, 2009, 41 (04)
[2] Special issue: software verification and testing
Mousavi, Mohammad Reza
Pang, Jun
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2013, 9 (02) : 57 - 58
[3] Special issue on software specification and verification - Preface
Wing, JM
FORMAL METHODS IN SYSTEM DESIGN, 1996, 8 (02) : 103 - 104
[4] Special issue on Software Verification and Testing (SAC-SVT'15) Preface
Salaun, Gwen
Stoelinga, Marielle
SCIENCE OF COMPUTER PROGRAMMING, 2016, 132 : 141 - 142
[5] Special section on Software Verification and Testing Preface
Mousavi, Mohammad Reza
Pang, Jun
SCIENCE OF COMPUTER PROGRAMMING, 2014, 95 : 273 - 274
[6] Preface to the special issue on Numerical Software: Design, Analysis and Verification
Gil, Amparo
Muller, Jean-Michel
Segura, Javier
SCIENCE OF COMPUTER PROGRAMMING, 2014, 90 : 1 - 1
[7] Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal
A. K. Petrenko
Programming and Computer Software, 2003, 29 : 296 - 297
[8] Verification, validation, and testing of software:: Special issue of the Programmirovanie journal
Petrenko, AK
PROGRAMMING AND COMPUTER SOFTWARE, 2003, 29 (06) : 296 - 297
[9] Special Issue: Software Testing, Reliability and Successive Releases Preface
Khatri, Sunil Kumar
Kapur, P. K.
Singh, Ompal
INTERNATIONAL JOURNAL OF SYSTEM ASSURANCE ENGINEERING AND MANAGEMENT, 2015, 6 (01) : 1 - 2
[10] Software testing and verification - Preface
Bates, ML
Ritsko, JJ
IBM SYSTEMS JOURNAL, 2002, 41 (01) : 2 - 3

← 1 2 3 4 5 →