Search Results - Java Execution State

Finite‐state model extraction and visualization from Java program execution by 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…”
Get full text

Compact visualization of Java program execution by 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…”
Get full text

Using SPIN for automated debugging of infinite executions of Java programs by 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…”
Get full text

Faster variational execution with transparent bytecode transformation by 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…”
Get full text

Adaptive solving strategy synthesis for symbolic execution by 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…”
Get full text

A Model-based Execution Framework for Interpreting Control Software by 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…”
Get full text

Efficient runtime aspect weaving for Java applications by 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…”
Get full text

Compiling and Optimizing Java 8 Programs for GPU Execution by 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…”
Get full text

Consistency of Java run-time behavior with design-time specifications by 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…”
Get full text

Toward an SGX-Friendly Java Runtime by 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…”
Get full text

ThingsMigrate: Platform‐independent migration of stateful JavaScript Internet of Things applications by 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…”
Get full text

Experiences implementing efficient Java thread serialization, mobility and persistence by 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…”
Get full text

JaVerT 2.0: compositional symbolic execution for JavaScript by 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…”
Get full text

Visualization of Distributed Program Execution by 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…”
Get full text

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

Get full text

An Empirical Study on Automated Test Generation Tools for Java: Effectiveness and Challenges by 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…”
Get full text

Looking for Criminal Intents in JavaScript Obfuscated Code by 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…”
Get full text

Runtime verification on abstract finite state models by 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…”
Get full text

Regular Property Guided Dynamic Symbolic Execution by 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…”
Get full text

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

“…This paper presents JAVENGA, which is an acronym for JAva‐based Visualization Environment for Network and Graph Algorithms…”
Get full text