FACILITY FOR VERIFICATION, TESTING AND DOCUMENTATION OF CONCURRENT PROCESS SOFTWARE.

被引：0

作者：

Taylor, Richard N.

Osterwil, Leon J.

机构：

来源：

| 1978年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：36 / 41

共 50 条

[21] DATA-STRUCTURED DESIGN OF PROCESS COMPUTER SOFTWARE.
Herzog, Max
Kuehnel, Bernd
Siemens Forschungs- und Entwicklungsberichte/Siemens Research and Development Reports, 1980, 9 (05): : 298 - 304
[22] Reachability testing: An approach to testing concurrent software
Hwang, GH
Tai, KC
Huang, TL
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1995, 5 (04) : 493 - 510
[23] Track on Software Verification and Testing
Caltais, Georgiana
Petke, Justyna
Proceedings of the ACM Symposium on Applied Computing, 2024, : 1673 - 1674
[24] Software debugging, testing, and verification
Hailpern, B
Santhanam, P
IBM SYSTEMS JOURNAL, 2002, 41 (01) : 4 - 12
[25] THE VALIDATION, VERIFICATION AND TESTING OF SOFTWARE
INCE, D
OXFORD SURVEYS IN INFORMATION TECHNOLOGY, 1985, 2 : 1 - 40
[26] Software testing and verification - Preface
Bates, ML
Ritsko, JJ
IBM SYSTEMS JOURNAL, 2002, 41 (01) : 2 - 3
[27] Software Testing, Verification and Reliability
Offutt, Jeff
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2014, 24 (02): : 83 - 84
[28] EXPERIENCES IN TESTING NUCLEAR POWER PLANT PROTECTION SYSTEM SOFTWARE.
Thomas, Nina C.
Reeves Jr., Henry L.
Technology Review, 1979,
[29] Cloud-Based Verification of Concurrent Software
Holzmann, Gerard J.
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2016, 2016, 9583 : 311 - 327
[30] Concurrent software verification with states, events, and deadlocks
Chaki, S
Clarke, E
Ouaknine, J
Sharygina, N
Sinha, N
FORMAL ASPECTS OF COMPUTING, 2005, 17 (04) : 461 - 483

← 1 2 3 4 5 →