Testing Concurrent Software

被引：0

作者：

Ur, Shmuel ^{[1
]}

机构：

[1] Shmuel Ur Innovat, IL-20164 Shorashim, Israel

来源：

HARDWARE AND SOFTWARE: VERIFICATION AND TESTING | 2011年 / 6504卷

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：4 / 4

页数：1

共 50 条

[21] Verification of Concurrent Software
Huisman, Marieke
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (261): : 2 - 2
[22] ANALYSIS OF CONCURRENT SOFTWARE
SHATZ, SM
PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 60 - 61
[23] Verification of Concurrent Software
Kroening, Daniel
DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2016, 45 : 159 - 178
[24] Modeling concurrent software
Sanden, BI
IEEE SOFTWARE, 1997, 14 (05) : 93 - 100
[25] Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software
Hruba, Vendula
Krena, Bohuslav
Letko, Zdenek
Pluhackova, Hana
Vojnar, Tomas
SEARCH-BASED SOFTWARE ENGINEERING, 2014, 8636 : 107 - 122
[26] Can concurrent software ever be quality software?
Lee, Edward A.
Proceedings - International Conference on Quality Software, 2007, : 19 - 20
[27] VALIDATION OF CONCURRENT SOFTWARE SYSTEMS
TAI, KC
PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 58 - 58
[28] Dynamics of concurrent software development
Rahmandad, Hazhir
Weiss, David M.
SYSTEM DYNAMICS REVIEW, 2009, 25 (03) : 224 - 249
[29] Concurrent Software Engineering Project
Stankovic, Nenad
Tillo, Tammam
JOURNAL OF INFORMATION TECHNOLOGY EDUCATION-INNOVATIONS IN PRACTICE, 2009, 8 : 27 - 41
[30] INTERNATIONALIZING SOFTWARE WITH CONCURRENT ENGINEERING
RAFII, F
PERKINS, S
IEEE SOFTWARE, 1995, 12 (05) : 39 - 46