On verifying distributed multithreaded Java programs

被引：0
|
作者：
Chen, Jessica [1 ]
机构：
[1] School of Computer Science, University of Windsor, 401 Sunset Avenue, Windsor,N9B 3P4, Canada
来源：
Proceedings of the Annual Hawaii International Conference on System Sciences | 2000年 / 2000-January卷
关键词：
Compendex;
D O I：
33rd Annual Hawaii International Conference on System Sciences, HICSS 2000
中图分类号：
学科分类号：
摘要：
Calculations - Model checking - Java programming language - Quality control - Program translators - Computer software reusability - Software testing
引用
收藏
相关论文
共 50 条
  • [1] On verifying distributed multithreaded Java']Java programs
    Chen, J
    [J]. SOFTWARE QUALITY JOURNAL, 1999, 8 (04) : 321 - 341
  • [2] On Verifying Distributed Multithreaded Java Programs
    Jessica Chen
    [J]. Software Quality Journal, 1999, 8 : 321 - 341
  • [3] JRastro: A trace agent for debugging multithreaded and distributed Java']Java programs
    da Silva, GJ
    Schnorr, LM
    Stein, BD
    [J]. 15TH SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, 2003, : 46 - 54
  • [4] LCT: A Parallel Distributed Testing Tool for Multithreaded Java']Java Programs
    Kahkonen, Kari
    Saarikivi, Olli
    Heljanko, Keijo
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2013, 296 : 253 - 259
  • [5] Exception analysis for multithreaded Java']Java programs
    Ryu, SY
    Yi, KK
    [J]. SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 23 - 30
  • [6] Visual debugging of multithreaded Java']Java programs
    Jackson, D
    [J]. IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 340 - 341
  • [7] Verifying Multithreaded Recursive Programs with Integer Variables
    Ben Rajeb, Narjes
    Nasraoui, Brahim
    Robbana, Riadh
    Touili, Tayssir
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 239 : 143 - 154
  • [8] Visual debugging of multithreaded Java programs
    Jackson, David
    [J]. 2001 IEEE Symposium on Human-Centric Computing, 2001, : 340 - 341
  • [9] A thread monitoring system for multithreaded Java']Java programs
    Moon, Sewon
    Chang, Byeong-Mo
    [J]. ACM SIGPLAN NOTICES, 2006, 41 (05) : 21 - 29
  • [10] Pointer analysis of multithreaded Java programs
    Nanda, Mangala Gowri
    Ramesh, S.
    [J]. Proc ACM Symp Appl Computing, 1600, (1068-1075):
12345