A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems [PDF]
, 2014 We revisit known transformations from Jinja bytecode to rewrite systems from the viewpoint of runtime complexity. Suitably generalising the constructions proposed in the literature, we define an alternative representation of Jinja bytecode (JBC ...
Moser, Georg, Schaper, Michael
core
J-Viz: Sibling-First Recursive Graph Drawing for Visualizing Java Bytecode [PDF]
, 2016 Md. Jawaherul Alam +2 more
openalex +1 more source
A Model Based Testing Approach for Java Bytecode Programs [PDF]
, 2018 Safaa Achour
openalex +1 more source
CRSExtractor: Automated configuration option read sites extraction towards IoT cloud infrastructure. [PDF]
Heliyon, 2023 Liu Y, Wang W, Jia Y, Xu S, Liu Z.
europepmc +1 more source
A termination analyzer for Java bytecode based on path-length [PDF]
, 2010 Fausto Spoto +2 more
openalex +1 more source
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode [PDF]
, 2010 Mads Dam, Andreas Lundblad
openalex +1 more source
Efficient and expressive bytecode-level instrumentation for Java programs [PDF]
, 2023 Chukri Soueidi +2 more
openalex +1 more source
KEADA: Identifying Key Classes in Software Systems Using Dynamic Analysis and Entropy-Based Metrics. [PDF]
Entropy (Basel), 2022 Wang L +5 more
europepmc +1 more source
Automated Termination Analysis of Java Bytecode by Term Rewriting
, 2010 Carsten Otto +3 more
openalex +2 more sources
Exploiting Java Bytecode Parallelism by Enhanced POC Folding Model [PDF]
, 2000 Lee Ren Ton +2 more
openalex +1 more source