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 条
  • [31] COMPARING THE COST-EFFECTIVENESS OF PSYCHIATRIC TREATMENTS - BULIMIA-NERVOSA
    KORAN, LM
    AGRAS, WS
    ROSSITER, EM
    ARNOW, B
    SCHNEIDER, JA
    TELCH, CF
    RAEBURN, S
    BRUCE, B
    PERL, M
    KRAEMER, HC
    PSYCHIATRY RESEARCH, 1995, 58 (01) : 13 - 21
  • [32] COMPARING THE COST-EFFECTIVENESS OF NEW COLORECTAL CANCER SCREENING TESTS
    Peterse, Elisabeth F.
    Meester, Reinier
    de Jonge, Lucie
    Alarid-Escudero, Fernando
    Zauber, Ann G.
    Lansdorp-Vogelaar, Iris
    GASTROENTEROLOGY, 2019, 156 (06) : S21 - S21
  • [33] Gastroprotective Strategies in Chronic NSAID Users: A Cost-Effectiveness Analysis Comparing Single Tablet Formulations With Individual Components
    de Groot, Nicolette L.
    Spiegel, Brennan M.
    van Haalen, Heleen G. M.
    de Wit, Niek J.
    Siersema, Peter D.
    van Oijen, Martijn G.
    GASTROENTEROLOGY, 2012, 142 (05) : S499 - S499
  • [34] Cost-effectiveness of Scaling Up Voluntary Counselling and Testing in West-Java']Java, Indonesia
    Tromp, Noor
    Siregar, Adiatma
    Leuwol, Barnabas
    Komarudin, Dindin
    van der Ven, Andre
    van Crevel, Reinout
    Baltussen, Rob
    ACTA MEDICA INDONESIANA, 2013, 45 (01) : 17 - 25
  • [35] Comparing Methods of Data SynthesisRe-Estimating Parameters of an Existing Probabilistic Cost-Effectiveness Model
    Mark Oppe
    Maiwenn Al
    Maureen van Rutten-Mölken
    PharmacoEconomics, 2011, 29 : 239 - 250
  • [36] VALIDATING AN INDUSTRY-SPONSORED MODEL COMPARING THE COST-EFFECTIVENESS OF ATYPICAL ANTIPSYCHOTICS IN THE TREATMENT OF SCHIZOPHRENIA
    Graham, Christopher N.
    Mauskopf, Josephine
    Lawson, Anthony H.
    Ascher-Svanum, Haya
    Bruhn, David
    Watson, Peter R.
    SCHIZOPHRENIA RESEARCH, 2010, 117 (2-3) : 398 - 399
  • [37] Analysing cost-effectiveness in dynamic network DEA: a directional distance function approach
    Kaur, Rajinder
    Puri, Jolly
    OPERATIONAL RESEARCH, 2024, 24 (04)
  • [38] DOES IT MATTER? DISCOUNTING AND ITS ROLE IN ANALYSING THE COST-EFFECTIVENESS OF PREVENTATIVE INTERVENTIONS
    Camejo, Starkie H. J.
    Van Kriekinge, G.
    Li, X.
    VALUE IN HEALTH, 2013, 16 (07) : A585 - A585
  • [39] Evaluating the Cost-Effectiveness of Pediatric Concurrent Versus Standard Hospice Care
    Lindley, Lisa C.
    Cozad, Melanie J.
    Svynarenko, Radion
    Keim-Malpass, Jessica
    Mack, Jennifer W.
    Hinds, Pamela S.
    NURSING ECONOMICS, 2022, 40 (06): : 297 - 304
  • [40] Effectiveness and Cost-Effectiveness of Antidepressants in Primary Care: A Multiple Treatment Comparison Meta-Analysis and Cost-Effectiveness Model
    Ramsberg, Joakim
    Asseburg, Christian
    Henriksson, Martin
    PLOS ONE, 2012, 7 (08):
12345