共 50 条
[42]
Dynamic slicing of Java']Java bytecode programs
[J].
FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS,
2005,
:35-44
[45]
A Framework for Debugging Java']Java Programs in a Bytecode
[J].
2018 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRONICS & COMMUNICATIONS ENGINEERING (ICCECE),
2018,
:317-322
[46]
Dynamic slicing on Java']Java bytecode traces
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
2008, 30 (02)
[48]
Information flow analysis for Java']Java bytecode
[J].
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS,
2005, 3385
:346-362
[50]
A programming logic for Java']Java bytecode programs
[J].
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS,
2003, 2758
:41-54