共 50 条
- [1] Refactoring sequential java code for concurrency via concurrent libraries Proc Int Conf Software Eng, (397-407):
- [2] ReLooper: Refactoring for loop parallelism in Java Proc Conf Object Orient Program Syst Lang Appl OOPSLA, 1600, (793-794):
- [3] Refactoring real-time java profiles Proceedings - 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011, 2011, : 109 - 116
- [4] Using Krakatoa for Teaching Formal Verification of Java Programs Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11758 LNCS : 37 - 51
- [6] Enumeration refactoring: A tool for automatically converting Java constants to enumerated types ASE - Proc. IEEE/ACM Int. Conf. Autom. Softw. Eng., (181-182):
- [7] An Automated Program Repair Method Using Atomic Replacement for Java Programs Proceedings - 2022 RIVF International Conference on Computing and Communication Technologies, RIVF 2022, 2022, : 358 - 363
- [9] CMuJava: Concurrent Mutant Generation System for Java Ruan Jian Xue Bao/Journal of Software, 2022, 33 (02): : 397 - 409