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 条
  • [41] Software testing
    Chiricosta, TC
    Fisher, CD
    Witherspoon, T
    SOCIETY FOR TECHNICAL COMMUNICATION 44TH ANNUAL CONFERENCE, 1997 PROCEEDINGS, 1997, : 400 - 400
  • [42] SOFTWARE TESTING
    DOWDNEY, DL
    SMALL BUSINESS COMPUTERS, 1984, 8 (01): : 48 - 49
  • [43] Classification of Software Testing Tools Based on the Software Testing Methods
    Mustafa, Khaled M.
    Al-Qutaish, Rafa E.
    Muhairat, Mohammad I.
    SECOND INTERNATIONAL CONFERENCE ON COMPUTER AND ELECTRICAL ENGINEERING, VOL 1, PROCEEDINGS, 2009, : 229 - 233
  • [44] Practical concurrent software evaluation for certification
    Welzel, D
    Hausen, HL
    JOURNAL OF SYSTEMS AND SOFTWARE, 1997, 38 (01) : 71 - 83
  • [45] FRAMEWORK SOFTWARE AUTOMATES CONCURRENT ENGINEERING
    PELL, R
    ELECTRONIC PRODUCTS MAGAZINE, 1991, 33 (11): : 19 - 19
  • [46] Limitations of Liveness in Concurrent Software Systems
    Iordache, Marian V.
    Antsaklis, Panos J.
    49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, : 3252 - 3257
  • [47] Static Elaboration of Recursion for Concurrent Software
    Edwards, Stephen A.
    Zeng, Jig
    PEPM'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION, 2008, : 71 - 80
  • [48] CONCURRENT PASCAL PRODUCES SOPHISTICATED SOFTWARE
    不详
    EDN MAGAZINE-ELECTRICAL DESIGN NEWS, 1979, 24 (19): : 333 - 336
  • [49] Concurrent Software Engineering and Robotics Education
    Shin, Jiwon
    Rusakov, Andrey
    Meyer, Bertrand
    2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, : 370 - 379
  • [50] Concurrent models of computation for embedded software
    Lee, EA
    Neuendorffer, S
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2005, 152 (02): : 239 - 250
12345