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 条
  • [11] Design of a toolset for dynamic analysis of concurrent Java']Java programs
    Bechini, A
    Tai, KC
    6TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION (IWPC 98) - PROCEEDINGS, 1998, : 190 - 197
  • [12] Designing concurrent object-oriented programs in Java']Java
    Holmes, D
    Lea, D
    TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, : 461 - 461
  • [13] Writing concurrent Java']Java programs based on CafeOBJ specifications
    Ha, Xuan-Linh
    Ogata, Kazuhiro
    2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), 2017, : 618 - 623
  • [14] An efficient technique for dynamic slicing of concurrent Java']Java programs
    Mohapatra, DP
    Mall, R
    Kumar, R
    APPLIED COMPUTING, PROCEEDINGS, 2004, 3285 : 255 - 262
  • [15] A practical MHP information analysis for concurrent Java']Java programs
    Li, L
    Verbrugge, C
    LANGUAGES AND COMPILERS FOR HIGH PERFORMANCE COMPUTING, 2005, 3602 : 194 - 208
  • [16] Control flow model for concurrent Java programs
    College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074, China
    Huazhong Ligong Daxue Xuebao, 2008, 1 (78-81):
  • [17] Refactoring java programs using concurrent libraries
    IBM Research, Tokyo, Japan
    不详
    Workshop Parallel Distrib. Syst.: Test., Anal., Debugging, PADTAD - Proc., (35-44):
  • [18] Multithreaded dependence graphs for concurrent Java programs
    Fukuoka Inst of Technology, Fukuoka, Japan
    Int Workshop Software Eng Parall Distrib Syst Proc, (13-23):
  • [19] The ThreadRadar visualization for debugging concurrent Java programs
    Oliver Moseler
    Lucas Kreber
    Stephan Diehl
    Journal of Visualization, 2022, 25 : 1267 - 1289
  • [20] Safe and verifiable design of concurrent Java programs
    Welch, P.H.
    Hilderink, G.H.
    Bakkers, A.W.P.
    Stiles, G.S.
    International Journal of Computers and Applications, 2001, 23 (03): : 159 - 165
12345