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 条
  • [41] How to Select the Right Cost-Effectiveness Model?
    van Haalen, H. G. M.
    Severens, J. L.
    Tran-Duy, A.
    Boonen, A.
    PHARMACOECONOMICS, 2014, 32 (05) : 429 - 442
  • [42] MAXIMIZING COST-EFFECTIVENESS THROUGH THE CASCADE MODEL
    SCHOLTEN, T
    CANADIAN PSYCHOLOGY-PSYCHOLOGIE CANADIENNE, 1995, 36 (2A): : 205 - 205
  • [43] DESIGN FOR AN EDUCATION SYSTEM COST-EFFECTIVENESS MODEL
    ABT, CC
    SOCIO-ECONOMIC PLANNING SCIENCES, 1969, 2 (2-4) : 399 - 415
  • [44] Digital mammography: A model for assessing cost-effectiveness
    Nields, MW
    Galaty, RR
    ACADEMIC RADIOLOGY, 1998, 5 : S310 - S313
  • [45] AIR POLLUTION CONTROL COST-EFFECTIVENESS MODEL
    JIMESON, RM
    AACE BULLETIN, 1971, 13 (03): : 7 - &
  • [46] A NEW CONCEPTUAL MODEL OF THE COST-EFFECTIVENESS THRESHOLD
    Paulden, M.
    VALUE IN HEALTH, 2018, 21 : S364 - S364
  • [47] A model for cost-effectiveness ratios in amblyopia screening
    Barry, JC
    Hartmann, A
    Pongs, UM
    Jockel, M
    OPHTHALMOLOGE, 1998, 95 (01): : 19 - 27
  • [48] Cost-effectiveness of prophylactic appendectomy: a Markov model
    Karina Newhall
    Benjamin Albright
    Anna Tosteson
    Elissa Ozanne
    Thadeus Trus
    Philip P. Goodney
    Surgical Endoscopy, 2017, 31 : 3596 - 3604
  • [49] The challenges of analyzing cost-effectiveness with a computer model
    Reeves, M
    Harwood, B
    Creinin, M
    FERTILITY AND STERILITY, 2005, 84 (02) : 543 - 543
  • [50] A model for cost-effectiveness ratios in amblyopia screening
    Jean-Cyriaque Barry
    Andreas Hartmann
    Uwe M. Pongs
    Martina Jöckel
    Der Ophthalmologe, 1998, 95 : 19 - 27
12345