Constructing compact models of concurrent Java programs

被引：0
|
作者：
Department of Information and Computer Science, University of Hawai'i, Honolulu [1 ]
HI
96822, United States
机构：
来源：
Proc. ACM SIGSOFT Int. Symp. Softw. Test. Anal., ISSTA | 1600年 / 1-10期
关键词：
All Open Access; Bronze;
D O I：
1998 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998
中图分类号：
学科分类号：
摘要：
Model checking
引用
收藏
相关论文
共 50 条
  • [1] Slicing concurrent Java']Java programs
    Chen, ZQ
    Xu, BW
    ACM SIGPLAN NOTICES, 2001, 36 (04) : 41 - 47
  • [2] Slicing concurrent Java']Java programs
    Zhao, JJ
    SEVENTH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 1999, : 126 - 133
  • [3] Constructing opaque predicates for Java']Java programs
    Yuan, Zheng
    Wen, Qiaoyan
    Mao, Ming
    2006 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, PTS 1 AND 2, PROCEEDINGS, 2006, : 895 - 898
  • [4] Error Detection in Concurrent Java']Java Programs
    Hughes, Graham
    Rajan, Sreeranga P.
    Sidle, Tom
    Swenson, Keith
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 144 (03) : 45 - 58
  • [5] Using shape analysis to reduce finite-state models of concurrent Java']Java programs
    Corbett, JC
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2000, 9 (01) : 51 - 93
  • [6] A structured approach for developing concurrent programs in Java']Java
    Mizuno, M
    INFORMATION PROCESSING LETTERS, 1999, 69 (05) : 233 - 238
  • [7] Observations on the assured evolution of concurrent Java']Java programs
    Greenhouse, A
    Halloran, TJ
    Scherlis, WL
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 58 (03) : 384 - 411
  • [8] A deadlock detection tool for concurrent Java']Java programs
    Demartini, C
    Iosif, R
    Sisto, R
    SOFTWARE-PRACTICE & EXPERIENCE, 1999, 29 (07): : 577 - 603
  • [9] Multithreaded dependence graphs for concurrent Java']Java programs
    Zhao, JJ
    INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1999, : 13 - 23
  • [10] The ThreadRadar visualization for debugging concurrent Java']Java programs
    Moseler, Oliver
    Kreber, Lucas
    Diehl, Stephan
    JOURNAL OF VISUALIZATION, 2022, 25 (06) : 1267 - 1289
12345