Search Results - "Java bytecode analysis"

Efficient Java Bytecode Analysis and Sequence Identification for Embedded Systems by Iqbal, Adeel, Khan, Minhaj Ahmad

“…Conventional tools and techniques of bytecode profiling require a lot of resources to generate bytecode sequences. Embedded devices have limited resources, and…”
Get full text

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis by Păsăreanu, Corina S., Visser, Willem, Bushnell, David, Geldenhuys, Jaco, Mehlitz, Peter, Rungta, Neha

“…Symbolic PathFinder (SPF) is a software analysis tool that combines symbolic execution with model checking for automated test case generation and error…”
Get full text

A method for detecting the theft of Java programs through analysis of the control flow information by Lim, Hyun-il, Park, Heewan, Choi, Seokwoo, Han, Taisook

“…A software birthmark refers to the inherent characteristics of a program that can be used to identify the program. In this paper, a method for detecting the…”
Get full text

Instruction-Words Based Software Birthmark by Lianhong Ma, Yong Wang, Fenlin Liu, Lin Chen

“…An instruction-words based software birthmark is proposed by applying the idea of document copy detection technology based on word frequency. The birthmark…”
Get full text

Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis by Artho, Cyrille, Biere, Armin

“…In Java bytecode, intra-method subroutines are employed to represent code in “finally” blocks. The use of such polymorphic subroutines within a method makes…”
Get full text

Workload Characteristic Oriented Scheduler for MapReduce by Peng Lu, Young Choon Lee, Chen Wang, Bing Bing Zhou, Junliang Chen, Zomaya, A. Y.

“…Applications in many areas are increasingly developed and ported using the Map Reduce framework (more specifically, Hadoop) to exploit (data) parallelism. The…”
Get full text

Mutation testing for Java database applications by Zhou, Chixiang

“…). The information includes SQL statements the AUT can execute, and their corresponding mutants. In instrumentation phase, we employ Java bytecode analysis and transformation framework (Soot…”
Get full text

Type -safe computation with heterogeneous data by Huang, Freeman Yufei

“…Computation with large-scale heterogeneous data typically requires universal traversal to search for all occurrences of a substructure that matches a possibly…”
Get full text