共 50 条
- [11] 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
- [13] Combined static and dynamic immutability analysis of java program Jisuanji Xuebao/Chinese Journal of Computers, 2010, 33 (04): : 736 - 746
- [14] JNuke:: Efficient dynamic analysis for Java']Java COMPUTER AIDED VERIFICATION, 2004, 3114 : 462 - 465
- [15] Dynamic Purity Analysis for Java']Java Programs PASTE'07 PROCEEDINGS OF THE 2007 ACM SIGPLAN- SIGSOFT WORKSHOP ON PROGRAM ANALYSIS FOR SOFTWARE TOOLS & ENGINEERING, 2007, : 75 - 82
- [16] Analysis of dynamic class loading in Java']Java PDPTA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-4, 2003, : 1628 - 1634
- [17] Static Analysis of Java']Java Dynamic Proxies ISSTA'18: PROCEEDINGS OF THE 27TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2018, : 209 - 220
- [19] Static program analysis for Java']Java Card applets SMART CARD RESEARCH AND ADVANCED APPLICATIONS, PROCEEDINGS, 2008, 5189 : 17 - +