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 条

[1] Comparing the cost-effectiveness of statically analysing and model checking concurrent Java']Java components for deadlocks
Ngui, John
Strooper, Paul
Wildman, Luke
Wojcicki, Margaret
2007 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 223 - +
[2] A framework for model checking concurrent Java components
School of Maths, Physics and Information Technology, James Cook University , Australia
J. Softw., 2009, 8 (867-874):
[3] Comparing model structures in cost-effectiveness analysis
Russell, LB
MEDICAL DECISION MAKING, 2005, 25 (05) : 485 - 486
[4] COST-EFFECTIVENESS MODEL FOR COMPARING VARIOUS CIRCULATION SYSTEMS
BURGESS, TK
JOURNAL OF LIBRARY AUTOMATION, 1973, 6 (02): : 75 - 86
[5] Model Checking of Concurrent Algorithms: From Java']Java to C
Artho, Cyrille
Hagiya, Masami
Leungwattanakit, Watcharin
Tanabe, Yoshinori
Yamamoto, Mitsuharu
DISTRIBUTED, PARALLEL AND BIOLOGICALLY INSPIRED SYSTEMS, 2010, 329 : 90 - +
[6] COMPARING SILICONE COST-EFFECTIVENESS
ALEXANDER, P
MANUFACTURING CHEMIST, 1985, 56 (11): : 59 - 59
[7] CHECKING TRUNK MAIN DESIGNS FOR COST-EFFECTIVENESS
COWAN, J
WATER AND WATER ENGINEERING, 1971, 75 (908): : 385 - &
[8] A UTILITY-BASED MODEL FOR COMPARING THE COST-EFFECTIVENESS OF DIAGNOSTIC STUDIES
PATTON, DD
WOOLFENDEN, JM
INVESTIGATIVE RADIOLOGY, 1989, 24 (04) : 263 - 271
[9] A FRENCH ECONOMIC MODEL COMPARING COST-EFFECTIVENESS OF DUOTRAV AND XALACOM IN GLAUCOMA
Lafuma, A.
Laurendeau, C.
Berdeaux, G.
VALUE IN HEALTH, 2009, 12 (07) : A455 - A455
[10] Comparing the cost-effectiveness of HIV prevention interventions
Cohen, DA
Wu, SY
Farley, TA
JAIDS-JOURNAL OF ACQUIRED IMMUNE DEFICIENCY SYNDROMES, 2004, 37 (03) : 1404 - 1414

← 1 2 3 4 5 →