共 50 条
- [31] No Java']Java without caffeine -: A tool for dynamic analysis of Java']Java programs ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, 2002, : 117 - 126
- [33] Static analysis of object references in RMI-based Java']Java software ICSM 2005: PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2005, : 101 - 110
- [34] Teaching Software Transactional Memory in Concurrency Courses with Clojure and Java']Java EURO-PAR 2017: PARALLEL PROCESSING WORKSHOPS, 2018, 10659 : 266 - 277
- [35] Application of relation analysis to a small Java']Java software CSMR 2004: EIGHTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2004, : 233 - 239
- [36] USING JAVA']JAVA TECHNOLOGY FOR SOFTWARE RELIABILITY ANALYSIS 18TH INTERNATIONAL CONFERENCE - THE KNOWLEDGE-BASED ORGANIZATION: APPLIED TECHNICAL SCIENCES AND ADVANCED MILITARY TECHNOLOGIES, CONFERENCE PROCEEDING 3, 2012, : 206 - 209
- [37] Dynamic memory allocation/deallocation behavior in Java']Java programs 2002 IEEE REGION 10 CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND POWER ENGINEERING, VOLS I-III, PROCEEDINGS, 2002, : 314 - 317
- [38] The Java']Java based control software of the LUCIFER instrument Advanced Software and Control for Astronomy, 2006, 6274 : H2741 - H2741
- [39] Hybrid modeling and verification of Java']Java based software Software Engineering Techniques: Design for Quality, 2006, 227 : 121 - 126
- [40] JNuke:: Efficient dynamic analysis for Java']Java COMPUTER AIDED VERIFICATION, 2004, 3114 : 462 - 465