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 条
  • [1] TESTING OF CONCURRENT SOFTWARE
    TAI, KC
    PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 62 - 64
  • [2] Testing Concurrent Software with Ants
    Chicano, Francisco
    Alba, Enrique
    ERCIM NEWS, 2008, (75): : 30 - 31
  • [3] Testing Concurrent Software Systems
    Bianchi, Francesco A.
    2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 375 - 376
  • [4] 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
  • [5] Supervised Testing of Concurrent Software in Embedded Systems
    Jahic, Jasmin
    Kuhn, Thomas
    Jung, Matthias
    Wehn, Norbert
    INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION (SAMOS 2017), 2017, : 233 - 238
  • [6] CHESS: Systematic stress testing of concurrent software
    Musuvathi, Madan
    Qadeer, Shaz
    Logic-Based Program Synthesis and Transformation, 2007, 4407 : 15 - 16
  • [7] Testing of Concurrent and Imperative Software using CLP
    Albert, Elvira
    Arenas, Puri
    Gomez-Zamalloa, Miguel
    PROCEEDINGS OF THE 18TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2016), 2016, : 1 - 8
  • [8] Towards an Empirical Study Design for Concurrent Software Testing
    Melo, S. M.
    Souza, P. S. L.
    Souza, S. R. S.
    PROCEEDINGS OF SE-HPCCSE 2016: 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING OR HIGH PERFORMANCE COMPUTING IN COMPUTATIONAL SCIENCE AND ENGINEERING, 2016, : 49 - 49
  • [9] Concurrent software testing and metrics using task decomposition
    Shih, TK
    Chung, CM
    Wang, YH
    Keh, HC
    Chen, JF
    SOFTWARE QUALITY ENGINEERING, 1997, : 223 - 232
  • [10] A Survey of Recent Trends in Testing Concurrent Software Systems
    Bianchi, Francesco Adalberto
    Margara, Alessandro
    Pezze, Mauro
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 44 (08) : 747 - 783
12345