Suchergebnisse - Java Execution State

Finite‐state model extraction and visualization from Java program execution von 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 …”
Volltext

Compact visualization of Java program execution von 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 …”
Volltext

Using SPIN for automated debugging of infinite executions of Java programs von 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 …”
Volltext

Faster variational execution with transparent bytecode transformation von 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 …”
Volltext

Adaptive solving strategy synthesis for symbolic execution von 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 …”
Volltext

A Model-based Execution Framework for Interpreting Control Software von 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 …”
Volltext

Efficient runtime aspect weaving for Java applications von 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 …”
Volltext

Compiling and Optimizing Java 8 Programs for GPU Execution von 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 …”
Volltext

Consistency of Java run-time behavior with design-time specifications von 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 …”
Volltext

Toward an SGX-Friendly Java Runtime von 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 …”
Volltext

ThingsMigrate: Platform‐independent migration of stateful JavaScript Internet of Things applications von 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 …”
Volltext

Experiences implementing efficient Java thread serialization, mobility and persistence von 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 …”
Volltext

JaVerT 2.0: compositional symbolic execution for JavaScript von 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 …”
Volltext

Visualization of Distributed Program Execution von 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 …”
Volltext

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

Volltext

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

Looking for Criminal Intents in JavaScript Obfuscated Code von 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 …”
Volltext

Runtime verification on abstract finite state models von 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 …”
Volltext

Regular Property Guided Dynamic Symbolic Execution von 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 …”
Volltext

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

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