Path Executions of Java Bytecode Programs
暂无分享,去创建一个
[1] Safeeullah Soomro,et al. Using abstract dependences to localize faults from procedural programs , 2007, Artificial Intelligence and Applications.
[2] Manuel Fähndrich,et al. On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis , 2008, CC.
[3] Jianjun Zhao. Dependence analysis of Java bytecode , 2000, Proceedings 24th Annual International Computer Software and Applications Conference. COMPSAC2000.
[4] Roland H. Untch,et al. Bytecode-based Java program analysis , 1999, ACM-SE 37.
[5] Franz Wotawa,et al. Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge , 2009, IEA/AIE.
[6] Pierre-Etienne Moreau,et al. Bytecode Rewriting in Tom , 2007, Bytecode@ETAPS.
[7] Ondrej Lhoták,et al. The Soot framework for Java program analysis: a retrospective , 2011 .
[8] Ken Arnold,et al. The Java Programming Language , 1996 .
[9] Abdul Hafeez,et al. Ontology Based Requirement Interdependency Representation and Visualization , 2013 .
[10] Mark Weiser,et al. Programmers use slices when debugging , 1982, CACM.
[11] Jorge A. Navas,et al. An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode , 2007, Bytecode@ETAPS.
[12] Jian-jun Zhao,et al. Static analysis of Java bytecode , 2001, Wuhan University Journal of Natural Sciences.
[13] Safeeullah Soomro. Verification Based Model Localizes Faults from Procedural Programs , 2008 .