共 50 条
- [1] Path Executions of Java']Java Bytecode Programs [J]. PROGRESS IN ADVANCED COMPUTING AND INTELLIGENT ENGINEERING, VOL 2, 2018, 564 : 261 - 271
- [2] A Framework for Debugging Java']Java Programs in a Bytecode [J]. 2018 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRONICS & COMMUNICATIONS ENGINEERING (ICCECE), 2018, : 317 - 322
- [3] Dynamic slicing of Java']Java bytecode programs [J]. FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2005, : 35 - 44
- [4] A programming logic for Java']Java bytecode programs [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 41 - 54
- [5] Compiling lazy functional programs to Java']Java bytecode [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1999, 29 (07): : 617 - 645
- [6] Compiling C++ programs to Java']Java bytecode [J]. SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERNG, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING AND FIRST AICS INTERNATIONAL WORKSHOP ON SELF-ASSEMBLING WIRELESS NETWORKS, PROCEEDINGS, 2005, : 56 - 61
- [7] Constraint based Testing and Verification of Java']Java Bytecode Programs [J]. 2018 IEEE 5TH INTERNATIONAL CONGRESS ON INFORMATION SCIENCE AND TECHNOLOGY (IEEE CIST'18), 2018, : 64 - 69
- [8] Using compressed bytecode traces for slicing Java']Java programs [J]. ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 512 - 521
- [9] Vulnerabilities Constraint Based Analysis Approach for Java']Java Bytecode Programs [J]. PROCEEDINGS OF 2018 6TH INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS (ICMCS), 2018, : 93 - 98