共 50 条
- [41] Online feedback-directed optimization of Java']Java [J]. ACM SIGPLAN NOTICES, 2002, 37 (11) : 111 - 129
- [43] Automated Conformance Testing of Java']Java Virtual Machines [J]. 2013 SEVENTH INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT, AND SOFTWARE INTENSIVE SYSTEMS (CISIS), 2013, : 547 - 552
- [44] Automated debugging in Java']Java programs using HDM [J]. COMPUTATIONAL SCIENCE - ICCS 2003, PT IV, PROCEEDINGS, 2003, 2660 : 849 - 858
- [45] Automated Translation of Java']Java Source Code to Eiffel [J]. OBJECTS, MODELS, COMPONENTS, PATTERNS, TOOLS 2011, 2011, 6705 : 20 - 35
- [47] Towards the automated verification of multithreaded Java']Java programs [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 173 - 187
- [49] Enhancing Automated Detection of Vulnerabilities in Java']Java Components [J]. 2009 INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY (ARES), VOLS 1 AND 2, 2009, : 216 - 223
- [50] Elixir: An Automated Repair Tool for Java']Java Programs [J]. PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 77 - 80