共 50 条
- [1] A static Java']Java classfile analyzer PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS ENGINEERING, VOL I, 2000, : 468 - 472
- [3] Creating intelligent Java']Java Beans IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1997, 12 (06): : 70 - 71
- [4] PROGRAMMING OF INTELLIGENT AGENTS WITH JAVA']JAVA CADERNOS EDUCACAO TECNOLOGIA E SOCIEDADE, 2010, 2 (01): : 165 - 166
- [5] A generic static analyzer for multithreaded Java']Java programs SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (06): : 663 - 684
- [7] Checkmate: a Generic Static Analyzer of Java']Java Multithreaded Programs SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 169 - 178
- [8] Pedagogical design of the Java']Java Intelligent Tutoring System EISTA '04: International Conference on Education and Information Systems: Technologies and Applications, Vol, 2, Proceedings: EDUCATION AND TRAINING SYSTEMS, TECHNOLOGIES AND APPLICATIONS, 2004, : 213 - 218
- [9] SQLInspect: A Static Analyzer to Inspect Database Usage in Java']Java Applications PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 93 - 96
- [10] A Termination Analyzer for Java']Java Bytecode Based on Path-Length ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2010, 32 (03):