Výsledky vyhledávání - Java Execution State

Finite‐state model extraction and visualization from Java program execution Autor K. P., Jevitha, Jayaraman, Swaminathan, Jayaraman, Bharat, M, Sethumadhavan

“… 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…”
Získat plný text

Compact visualization of Java program execution Autor Jayaraman, S., Jayaraman, B., Lessa, D.

“… – object diagrams and sequence diagrams. They capture, respectively, the current execution state and execution history of a Java program…”
Získat plný text

Using SPIN for automated debugging of infinite executions of Java programs Autor Adalid, Damián, Salmerón, Alberto, Gallardo, María del Mar, Merino, Pedro

“… Runtime monitoring is used to transform the Java execution traces into the input for the model checker, the purpose of which is…”
Získat plný text

Faster variational execution with transparent bytecode transformation Autor Wong, Chu-Pan, Meinicke, Jens, Lazarek, Lukas, Kästner, Christian

“… Furthermore, the performance of this approach is suboptimal. For example, the state-of-the-art variational execution interpreter for Java, VarexJ, slows down executions…”
Získat plný text

Adaptive solving strategy synthesis for symbolic execution Autor Chen, Zhenbang, Zhang, Guofeng, Chen, Zehua, Shuai, Ziqi, Pan, Weiyu, Zhang, Yufeng, Wang, Ji

“…Summary Constraint solving is the enabling technique for symbolic execution. The advancement of constraint solving boosts the development and application of symbolic execution…”
Získat plný text

A Model-based Execution Framework for Interpreting Control Software Autor Wiesmayr, Bianca, Zoitl, Alois, Garmendia, Antonio, Wimmer, Manuel

“… This enables providing feedback directly on the model level. We present an interpreter for Basic Function Blocks, which encapsulate a state-based Execution Control Chart…”
Získat plný text

Efficient runtime aspect weaving for Java applications Autor Rodriguez-Prieto, Oscar, Ortin, Francisco, O’Shea, Donna

“…•Runtime aspect weaving imposes a runtime performance cost.•invokedynamic can be used to implement an efficient runtime weaver.•We have implemented a runtime…”
Získat plný text

Compiling and Optimizing Java 8 Programs for GPU Execution Autor Ishizaki, Kazuaki, Hayashi, Akihiro, Koblents, Gita, Sarkar, Vivek

“… 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…”
Získat plný text

Consistency of Java run-time behavior with design-time specifications Autor Jayaraman, Swaminathan, Hari, Dinoop, Jayaraman, Bharat

“… In order to verify the run-time behavior of a Java program, we extract a state diagram from the execution trace of the Java program and check whether the run-time state diagram is consistent…”
Získat plný text

Toward an SGX-Friendly Java Runtime Autor Wu, Mingyu, Li, Zhe, Chen, Haibo, Zang, Binyu, Wang, Shaojun, Yu, Lei, Li, Sanhong, Song, Haitao

“… Nevertheless, state-of-the-art enclave implementations like Intel Software Guard Extensions (SGX) have severe performance issues and hinder the deployment of more complicated applications, especially those written in high-level languages like Java…”
Získat plný text

ThingsMigrate: Platform‐independent migration of stateful JavaScript Internet of Things applications Autor Jung, Kumseok, Gascon‐Samson, Julien, Goyal, Shivanshu, Rezaiean‐Asel, Armin, Pattabiraman, Karthik

“…‐level languages like JavaScript. Because IoT devices are subject to resource constraints like available battery power, we need to dynamically migrate a running process between different devices to prevent losing state…”
Získat plný text

Experiences implementing efficient Java thread serialization, mobility and persistence Autor Bouchenak, S., Hagimont, D., Krakowiak, S., De Palma, N., Boyer, F.

“… Therefore, a running Java thread can, at an arbitrary state of its execution, migrate to a remote machine where it resumes its execution…”
Získat plný text

JaVerT 2.0: compositional symbolic execution for JavaScript Autor Fragoso Santos, José, Maksimović, Petar, Sampaio, Gabriela, Gardner, Philippa

“…We propose a novel, unified approach to the development of compositional symbolic execution tools, bridging the gap between classical symbolic execution and compositional program reasoning based on separation logic…”
Získat plný text

Visualization of Distributed Program Execution Autor Satwik, Bhamidipati, Manoj, Kalakoti Girija, Immadi, Sai Rajendra, Jayaraman, Swaminathan

“… The context of work is the Java Interactive Visualization Environment, a state-of-the-art debugging, analysis, and visualization tool for Java programs…”
Získat plný text

NEW YORK STATE OFFICE OF CYBER SECURITY AND CRITICAL INFRASTRUCTURE COORDINATION ISSUES ADVISORY REGARDING JAVA WEB START REMOTE CODE EXECUTION VULNERABILITIES

Získat plný text

An Empirical Study on Automated Test Generation Tools for Java: Effectiveness and Challenges Autor Liu, Xiang-Jun, Yu, Ping, Ma, Xiao-Xing

“… This paper conducts an empirical study on the state-of-the-art automated tools for Java, i.e., EvoSuite, Randoop, JDoop, JTeXpert, T3, and Tardis…”
Získat plný text

Looking for Criminal Intents in JavaScript Obfuscated Code Autor Cerutti, Federico, di San Pietro, Daniele Barattieri, Gringoli, Francesco, Lamperti, Gianfranco

“…The majority of websites incorporate JavaScript for client-side execution in a supposedly protected environment…”
Získat plný text

Runtime verification on abstract finite state models Autor Jevitha, K.P., Jayaraman, Bharat, Sethumadhavan, M.

“… 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…”
Získat plný text

Regular Property Guided Dynamic Symbolic Execution Autor Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu

“…A challenging problem in software engineering is to check if a program has an execution path satisfying a regular property…”
Získat plný text

JAVENGA: JAva-based Visualization Environment for Network and Graph Algorithms Autor Baloukas, Thanasis

“…This paper presents JAVENGA, which is an acronym for JAva‐based Visualization Environment for Network and Graph Algorithms…”
Získat plný text