Mutation-based exploration of a method for verifying concurrent Java components

被引：0
|
作者：
Long, Brad [1 ,2 ]
Duke, Roger [1 ]
Goldson, Doug [1 ]
Strooper, Paul [1 ]
Wildman, Luke [1 ]
机构：
[1] Sch. Info. Technol. and Elec. Eng., University of Queensland, Brisbane, QLD 4072, Australia
[2] Australian Development Centre, Oracle Corporation, 300 Ann St., Brisbane, QLD 4000, Australia
来源：
Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM) | 2004年 / 18卷
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Codes (symbols) - Computer software - Concurrency control - Concurrent engineering - Failure analysis - Problem solving
引用
收藏
页码：3633 / 3640
相关论文
共 11 条
  • [1] Dealing with non-determinism in testing concurrent java components
    Wildman, Luke
    Long, Brad
    Strooper, Paul
    Proc. Asia Pac. Softw. Eng. Conf. APSEC, (393-400):
  • [2] Behavior investigation of concurrent Java programs: An approach based on source-code instrumentation
    Dipartimento Di Ingegneria dell'Informazione, Facoltà Di Ingegneria, Università Di Pisa, via Diotisalvi 2, 56100 Pisa, Italy
    Future Gener Comput Syst, 2 (307-316):
  • [3] Concurrent constraint-based memory machines: A framework for JAVA memory models (summary)
    IBM T.J. Watson Research Lab., PO Box 704, Yorktown Heights, NY 10598, United States
    1600, 494-508 (2004):
  • [4] Enterprise Java bean business components request distribution algorithm based on related object-group
    Zhao, Tianhai
    Qi, Yong
    Shen, Junyi
    Zheng, Xiaomei
    Hsi An Chiao Tung Ta Hsueh, 2 (152-156):
  • [5] A Feature Selection Method of the Island Algorithm Based on Gaussian Mutation
    Han, Li
    Xu, Hongsheng
    Ma, Jiming
    Jia, Zechen
    WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2022, 2022
  • [6] Harnessing Design Space: A Similarity-Based Exploration Method for Generative Design
    Erhan, Halil
    Wang, Ivy Y.
    Shireen, Naghmi
    INTERNATIONAL JOURNAL OF ARCHITECTURAL COMPUTING, 2015, 13 (02) : 217 - 236
  • [7] Practice of the innovation pattern of task-driving teaching method based on blog in the teaching of 〈Java programming〉
    Institute of Educational Technology, Hunan University, Changsha, China
    Int. Conf. Networking Digit. Soc., ICNDS, 2010, (508-510):
  • [8] A novel block matching algorithm based on particle swarm optimization with mutation operator and simplex method
    Ping, Zhang
    Ping, Wei
    Hongyang, Yu
    WSEAS Transactions on Systems and Control, 2011, 6 (06): : 207 - 216
  • [9] Bayesian network structure learning method with insufficient data based on cuckoo search algorithm with cauchy mutation
    Bo, Wang
    Zhang, Jian-Fei
    Du, Xiao-Xin
    Liu, Yan-Ju
    International Journal of Control and Automation, 2015, 8 (09): : 221 - 228
  • [10] A method for age modeling of power system components based on experiences from the design process with the purpose of maintenance optimization
    Lindquist, Tommie
    Bertling, Lina
    Eriksson, Roland
    Proc. Annu. Reliab. Maintainability Symp., (82-88):
12