共 50 条
- [1] A software fingerprinting scheme for Java']Java using classfiles obfuscation [J]. INFORMATION SECURITY APPLICATIONS, 2003, 2908 : 303 - 316
- [2] Proof linking: Distributed verification of Java']Java classfiles in the presence of multiple classloaders [J]. USENIX ASSOCIATION PROCEEDINGS JAVA(TM) VIRTUAL MACHINE RESEARCH AND TECHNOLOGY SYMPOSIUM, 2001, : 53 - 66
- [3] miniJava']Java: Automatic Miniaturization of Java']Java Applications [J]. PROCEEDINGS OF THE WORKING CONFERENCE ON ADVANCED VISUAL INTERFACES AVI 2020, 2020,
- [4] Automatic program specialization for Java']Java [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 25 (04): : 452 - 499
- [7] JCrasher: an automatic robustness tester for Java']Java [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2004, 34 (11): : 1025 - 1050
- [8] Automatic Error Correction of Java']Java Programs [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2010, 6371 : 67 - 81
- [9] Automatic Translation from Circus to Java']Java [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 115 - 130
- [10] An automatic method for refactoring Java']Java programs [J]. KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2002, 80 : 167 - 172