Results 21 to 30 of about 14,055 (238)
In vivo test and rollback of Java applications as they are
Software Testing, Verification and Reliability, Volume 33, Issue 7, November 2023., 2023 Some configurations or environmental conditions may escape while testing a software in house. In vivo testing leverages actual observed states to perform further checks. In vivo testing with Groucho can transparently suspend the execution of a software, run some in vivo tests, rollback their side effects, and resume normal execution.
Antonia Bertolino +3 more
wiley +1 more source
Supporting Java programming in the Svace static analyzer
Труды Института системного программирования РАН, 2018 The paper is devoted to the works performed within the Svace static analysis tool to support Java language. First, the approach to intercept compilation process for transparently building the analyzer internal representation should be extended to cover ...
A. P. Merkulov +2 more
doaj +1 more source
Large‐scale characterization of Java streams
Software: Practice and Experience, Volume 53, Issue 9, Page 1763-1792, September 2023., 2023 Abstract Java streams are receiving the attention of developers targeting the Java virtual machine (JVM) as they ease the development of data‐processing logic, while also favoring code extensibility and maintainability through a concise and declarative style based on functional programming.
Eduardo Rosales +3 more
wiley +1 more source
Annotating the Java bytecodes in support of optimization [PDF]
Concurrency: Practice and Experience, 1997 The efficient execution of Java programs presents a challenge to hardware and software designers alike. The difficulty however lies with the Java bytecodes. Their model of a simplistic, platform-independent stack machine is well-suited for portability, though at the expense of execution speed. Various approaches are being proposed to increase the speed
Joseph Hummel +3 more
openalex +3 more sources
Detecting Java Code Clones Based on Bytecode Sequence Alignment
IEEE Access, 2019 When the source code is copied and pasted or modified, there will be a lot of identical or similar code snippets in the software system, which are called code clones.
Dongjin Yu +3 more
doaj +1 more source
Relational Verification via Invariant-Guided Synchronization [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Relational properties describe relationships that hold over multiple executions of one or more programs, such as functional equivalence. Conventional approaches for automatically verifying such properties typically rely on syntax-based, heuristic ...
Qi Zhou, David Heath, William Harris
doaj +1 more source
IET Software, Volume 17, Issue 4, Page 348-361, August 2023., 2023 In this paper, we propose a novel Android malware detection framework, where we contribute an efficient API call sequences extraction algorithm and an investigation of different types of classifiers. In API call sequences extraction, we propose an algorithm for transforming the function call graph from a multigraph into a directed simple graph. We also
Tanjie Wang +4 more
wiley +1 more source
Applying dynamic analysis to programs running in interpreted environments
Труды Института системного программирования РАН, 2018 The present-day trends in software engineering include the steady increase of code and design complexity which reinforces the high demand in automated software testing and analysis tools.
S. P. Vartanov +2 more
doaj +1 more source
Java Decompiler Diversity and its Application to Meta-decompilation
, 2020 During compilation from Java source code to bytecode, some information is irreversibly lost. In other words, compilation and decompilation of Java code is not symmetric.
Baudry, Benoit +3 more
core +1 more source
Sawja: Static Analysis Workshop for Java [PDF]
, 2010 Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java.
A.P. Ershov +16 more
core +6 more sources