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 条

[31] Automated Verification of Concurrent Software
Kroening, Daniel
REACHABILITY PROBLEMS, 2013, 8169 : 19 - 20
[32] Verification of concurrent software with FLAVERS
Naumovich, G
Dwyer, MB
Clarke, LA
Osterweil, LJ
PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 594 - 595
[33] FORMAL VERIFICATION OF CONCURRENT SOFTWARE
SCHNEIDER, FB
PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 59 - 59
[34] Optimal software testing and adaptive software testing in the context of software cybernetics
Cai, KY
INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (14) : 841 - 855
[35] CONCURRENT TESTING OF PROCESSES
HENNESSY, M
ACTA INFORMATICA, 1995, 32 (06) : 509 - 543
[36] CONCURRENT TESTING OF PROCESSES
HENNESSY, M
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 94 - 107
[37] Software Testing
Bryce, Renee
Kuhn, Rick
COMPUTER, 2014, 47 (02) : 21 - 22
[38] Software testing
Fisher, CD
Chiricosta, T
Witherspoon, T
45TH ANNUAL CONFERENCE ON IMAGINATION, INNOVATION AND COMMUNICATION, 1998, : 353 - 353
[39] Software testing
Freeman, H
IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2002, 5 (03) : 48 - 50
[40] SOFTWARE TESTING
HAYES, LG
DR DOBBS JOURNAL, 1994, 19 (07): : 10 - &