共 50 条
- [1] Systematic Approach for validating Java']Java-MongoDB Schema 2014 INTERNATIONAL CONFERENCE ON INFORMATION COMMUNICATION AND EMBEDDED SYSTEMS (ICICES), 2014,
- [2] An automatic approach to transform CafeOBJ specifications to Java']Java template code SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 171 - 176
- [3] miniJava']Java: Automatic Miniaturization of Java']Java Applications PROCEEDINGS OF THE WORKING CONFERENCE ON ADVANCED VISUAL INTERFACES AVI 2020, 2020,
- [4] Automatic program specialization for Java']Java ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 25 (04): : 452 - 499
- [7] Validating Converted Java']Java Code via Symbolic Execution SOFTWARE QUALITY: COMPLEXITY AND CHALLENGES OF SOFTWARE ENGINEERING IN EMERGING TECHNOLOGIES, 2017, 269 : 70 - 83
- [8] JCrasher: an automatic robustness tester for Java']Java SOFTWARE-PRACTICE & EXPERIENCE, 2004, 34 (11): : 1025 - 1050
- [9] Automatic Error Correction of Java']Java Programs FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2010, 6371 : 67 - 81
- [10] Automatic Translation from Circus to Java']Java FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 115 - 130