Search Results - Java program execution
-
1
Compact visualization of Java program execution
ISSN: 0038-0644, 1097-024XPublished: Bognor Regis Wiley Subscription Services, Inc 01.02.2017Published in Software, practice & experience (01.02.2017)“… – object diagrams and sequence diagrams. They capture, respectively, the current execution state and execution history of a Java program…”
Get full text
Journal Article -
2
Finite‐state model extraction and visualization from Java program execution
ISSN: 0038-0644, 1097-024XPublished: Bognor Regis Wiley Subscription Services, Inc 01.02.2021Published in Software, practice & experience (01.02.2021)“… In this article, we use the term model extraction to refer to the construction of a finite‐state model from an execution trace of a Java program and a set of key attributes, that is, a subset of the fields of the objects in the program execution…”
Get full text
Journal Article -
3
Runtime verification on abstract finite state models
ISSN: 0164-1212, 1873-1228Published: Elsevier Inc 01.10.2024Published in The Journal of systems and software (01.10.2024)“… In this paper, we show how to extract finite state models from a run of a multi-threaded Java program and carry out runtime verification of correctness properties…”
Get full text
Journal Article -
4
Fakeium: A dynamic execution environment for JavaScript program analysis
ISSN: 2352-7110, 2352-7110Published: Elsevier B.V 01.09.2025Published in SoftwareX (01.09.2025)“… attacks that target the official Node.js package registry. To combat these threats, researchers have developed specialized tools and frameworks for analyzing the behavior of JavaScript programs to detect malicious patterns…”
Get full text
Journal Article -
5
Compiling and Optimizing Java 8 Programs for GPU Execution
ISSN: 1089-795XPublished: IEEE 01.10.2015Published in 2015 International Conference on Parallel Architecture and Compilation (PACT) (01.10.2015)“… However, GPU execution currently requires explicit low-level operations such as 1) managing memory allocations and transfers between the host system and the GPU, 2…”
Get full text
Conference Proceeding -
6
Using SPIN for automated debugging of infinite executions of Java programs
ISSN: 0164-1212, 1873-1228Published: New York Elsevier Inc 01.04.2014Published in The Journal of systems and software (01.04.2014)“… This paper presents an approach for the automated debugging of reactive and concurrent Java programs, combining model checking and runtime monitoring…”
Get full text
Journal Article -
7
Efficient Execution of Java Programs on GPU
ISBN: 9798381264616Published: ProQuest Dissertations & Theses 01.01.2021“… field.In this master thesis, different memory optimizations and their impacts were studied in a GPU Java context using Aparapi…”
Get full text
Dissertation -
8
Runtime Exception Detection in Java Programs Using Symbolic Execution
ISSN: 0324-721XPublished: Szeged Laszlo Nyul 2014Published in Acta cybernetica (Szeged) (2014)“… In Java programs, runtime failures are manifested as unhandled runtime exceptions. In this paper we present an approach and tool for detecting runtime exceptions in Java programs without having to execute tests on the software…”
Get full text
Journal Article -
9
Heap cloning: Enabling dynamic symbolic execution of java programs
ISBN: 1457716380, 9781457716386ISSN: 1938-4300Published: Washington, DC, USA IEEE Computer Society 06.11.2011Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)“…The dynamic symbolic-execution technique can automatically perform symbolic execution of programs that use problematic features of Java, such as native methods…”
Get full text
Conference Proceeding -
10
An empirical study to quantify the characteristics of Java programs that may influence symbolic execution from a unit testing perspective
ISSN: 0164-1212, 1873-1228Published: New York Elsevier Inc 01.11.2016Published in The Journal of systems and software (01.11.2016)“…•We analyze two benchmarks: SF100 (100 projects) and R47 (47 projects).•We show the distributions of issues on generating test data using symbolic execution…”
Get full text
Journal Article -
11
Energy-aware scheduling, compilation, and execution of hard-real-time multi-task Java programs
ISSN: 0141-9331, 1872-9436Published: Elsevier B.V 01.11.2022Published in Microprocessors and microsystems (01.11.2022)“…Most of the real-world embedded hard real-time applications are multi-task programs…”
Get full text
Journal Article -
12
Extracting sequence diagram from execution trace of Java program
ISBN: 9780769523491, 0769523498ISSN: 1550-4077Published: IEEE 01.01.2005Published in Eighth International Workshop on Principles of Software Evolution (IWPSE'05) (01.01.2005)“… We propose a method to extract compact sequence diagrams from dynamic information of object-oriented programs…”
Get full text
Conference Proceeding -
13
Control and Data Flow Execution of Java Programs
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 27.07.2017Published in arXiv.org (27.07.2017)“… it. We provide model and structure for Java programs to understand the control and data flow analysis of execution…”
Get full text
Paper -
14
Dynamic symbolic execution of Java programs using JNI
Published: IEEE 01.09.2017Published in 2017 Computer Science and Information Technologies (CSIT) (01.09.2017)“… (Java Native Interface) to call native functions. We present an approach to perform dynamic symbolic execution of a Java program that tracks tainted data flow through Java bytecode and native code of shared libraries…”
Get full text
Conference Proceeding -
15
Decoding Parallel Program Execution by using Java Interactive Visualization Environment (JIVE): Behavioral and Performance Analysis
Published: IEEE 01.03.2019Published in 2019 3rd International Conference on Computing Methodologies and Communication (ICCMC) (01.03.2019)“…), a dynamic analysis framework for debugging and visualizing Java programs. In this paper, we demonstrate…”
Get full text
Conference Proceeding -
16
TFVIS: a Supporting Debugging Tool for Java Programs by Visualizing Data Transitions and Execution Flows
ISSN: 2405-9021, 2352-6386Published: Dordrecht Springer Netherlands 01.12.2015Published in Journal of robotics, networking and artificial life (01.12.2015)“…TFVIS(transitions and flow visualization) can perform the visualization of data transitions and the visualization of execution flows…”
Get full text
Journal Article -
17
Fakeium: A Dynamic Execution Environment for JavaScript Program Analysis
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 28.10.2024Published in arXiv.org (28.10.2024)“… attacks that target the official Node.js package registry. To combat these threats, researchers have developed specialized tools and frameworks for analyzing the behavior of JavaScript programs to detect malicious patterns…”
Get full text
Paper -
18
Exploration of Compact Sequence Diagram Using Hyperlink
Published: IEEE 01.08.2018Published in 2018 Fourth International Conference on Computing Communication Control and Automation (ICCUBEA) (01.08.2018)“… This is achieved only by a tool called JIVE. It provides the visualization of any big program in a most understandable and simple way for any program execution…”
Get full text
Conference Proceeding -
19
JOP-plus - A processor for efficient execution of java programs extended with GALS concurrency
ISBN: 9781467307703, 146730770XISSN: 2153-6961Published: IEEE 01.01.2012Published in 17th Asia and South Pacific Design Automation Conference (01.01.2012)“… A new processor, which uses JOP (Java Optimized Processor) as its base, executes concurrent programs that comply with Globally Asynchronous Locally Synchronous (GALS…”
Get full text
Conference Proceeding -
20
Worst-Case Execution Time Based Optimization of Real-Time Java Programs
ISBN: 1467304999, 9781467304993ISSN: 1555-0885Published: IEEE 01.04.2012Published in 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (01.04.2012)“…Standard compilers optimize execution time for the average case. However, in hard real-time systems the worst-case execution time (WCET…”
Get full text
Conference Proceeding

