Comparing the cost-effectiveness of statically analysing and model checking concurrent java components for deadlocks

被引：0
|
作者：
School of Information Technology and Electrical Engineering, University of Queensland, Brisbane, QLD 4072, Australia [1 ]
机构：
来源：
Proc Aust Software Eng Conf ASWEC | / 223-232期
关键词：
Code inspection - Concurrency defects - Interleavings - TestCon method;
D O I：
4159675
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Cost-effectiveness model of palivizumab in the UK
    Nuijten, MJ
    Lebmeier, M
    Wittenberg, W
    VALUE IN HEALTH, 2005, 8 (06) : A62 - A62
  • [22] A COST-EFFECTIVENESS MODEL FOR ANALYTICAL PROCESSES
    WESTGARD, JO
    PETERSEN, PH
    GROTH, T
    CLINICAL CHEMISTRY, 1984, 30 (06) : 955 - 955
  • [23] Cost-effectiveness model of Palivizumab in The Netherlands
    Nuijten, MJ
    Lebmeier, M
    Daalderop, P
    Wittenberg, W
    VALUE IN HEALTH, 2005, 8 (06) : A52 - A52
  • [24] Cost-Effectiveness of Thrombolytics: A Simplified Model
    Şule Apikoğlu Rabuş
    Fikret Vehbi lzzettin
    Mesut Sancar
    Murat Bülent Rabuş
    Cevat Kırma
    Cevat Yakut
    Pharmacy World and Science, 2005, 27 : 243 - 248
  • [25] COMPARING VACCINE EFFECTIVENESS ESTIMATES IN COST-EFFECTIVENESS ANALYSES OF PNEUMOCOCCAL VACCINATION IN ADULTS
    Yang, H. K.
    Mauskopf, J. A.
    Dasbach, E.
    VALUE IN HEALTH, 2013, 16 (03) : A17 - A17
  • [26] Comparing the Cost-Effectiveness of Innovative Colorectal Cancer Screening Tests
    Peterse, Elisabeth F. P.
    Meester, Reinier G. S.
    de Jonge, Lucie
    Omidvari, Amir-Houshang
    Alarid-Escudero, Fernando
    Knudsen, Amy B.
    Zauber, Ann G.
    Lansdorp-Vogelaar, Iris
    JNCI-JOURNAL OF THE NATIONAL CANCER INSTITUTE, 2021, 113 (02): : 154 - 161
  • [27] Cost-effectiveness of smoking cessation modalities: Comparing apples with oranges?
    Mudde, AN
    deVries, H
    Strecher, VJ
    PREVENTIVE MEDICINE, 1996, 25 (06) : 708 - 716
  • [28] The cost-effectiveness of arthroscopic partial meniscectomy: comparing apples and oranges
    Katz, J. N.
    Losina, E.
    OSTEOARTHRITIS AND CARTILAGE, 2018, 26 (02) : 152 - +
  • [29] COMPARING THE COST-EFFECTIVENESS OF TUTORING AND COMPUTER-BASED INSTRUCTION
    NIEMIEC, RP
    SIKORSKI, MF
    WALBERG, HJ
    JOURNAL OF EDUCATIONAL COMPUTING RESEARCH, 1989, 5 (04) : 395 - 407
  • [30] COST-EFFECTIVENESS STUDY COMPARING SELF INSTRUCTION AND GROUP INSTRUCTIONS
    PECK, D
    BROWN, S
    ANATOMICAL RECORD, 1973, 175 (02): : 483 - &
12345