Search Results - "Concurrent Java"

The ThreadRadar visualization for debugging concurrent Java programs by Moseler, Oliver, Kreber, Lucas, Diehl, Stephan

“…Due to non-deterministic behavior and thread interleaving of concurrent programs, the debugging of concurrency and performance issues is a rather difficult and…”
Get full text

Visual Analytics for Concurrent Java Executions by Artho, Cyrille, Pande, Monali, Tang, Qiyi

“…Analyzing executions of concurrent software is very difficult. Even if a trace is available, such traces are very hard to read and interpret. A textual trace…”
Get full text

Synthesis of verifiable concurrent Java components from formal models by Mariño, Julio, Alborodo, Raúl N. N., Fredlund, Lars-Åke, Herranz, Ángel

“… In our work, we consider the problem of generating a concurrent Java component from a high-level model of inter-process interaction (i.e., communication + synchronization…”
Get full text

DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems by Shum, Chong, Lau, Wing-Hong, Mao, Tian, Chung, Henry Shu-Hung, Tse, Norman Chung-Fai, Tsang, Kim-Fung, Lai, Loi Lei

“…Simulation and performance evaluation of concurrent Java program execution have been difficult due to the lack of proper model and tools…”
Get full text

Writing Concurrent Java Programs Based on CafeOBJ Specifications by Ha, Xuan-Linh, Ogata, Kazuhiro

“…CafeOBJ is an advanced algebraic specification language that can be used for writing formal specifications of various software systems and verifying properties…”
Get full text

Tool support for testing concurrent Java components by Long, B., Hoffman, D., Strooper, P.

“…Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components…”
Get full text

Slicing concurrent Java programs using Indus and Kaveri by Ranganath, Venkatesh Prasad, Hatcliff, John

“… In this paper, we present Indus--a robust framework for analyzing and slicing concurrent Java programs, and Kaveri--a feature-rich Eclipse-based GUI front end for Indus slicing…”
Get full text

A deadlock detection tool for concurrent Java programs by Demartini, Claudio, Iosif, Radu, Sisto, Riccardo

“…This paper presents some issues related to the design and implementation of a concurrency analysis tool able to detect deadlock situations in Java programs…”
Get full text

Testing Concurrent Java Components by Strooper, Paul, Wildman, Luke

“… (Concurrency Analyser) testing tool supports these techniques for the testing of concurrent Java components and will be discussed and demonstrated in the tutorial…”
Get full text

Observations on the assured evolution of concurrent Java programs by Greenhouse, Aaron, Halloran, T.J., Scherlis, William L.

“…Evolving and refactoring concurrent Java software can be error-prone, resulting in race conditions and other concurrency difficulties…”
Get full text

Slicing concurrent Java programs by Jianjun Zhao

“…Although many slicing algorithms have been proposed for object oriented programs, no slicing algorithm has been proposed which can be used to handle the problem of slicing concurrent Java programs correctly…”
Get full text

A method for verifying concurrent Java components based on an analysis of concurrency failures by Long, Brad, Strooper, Paul, Wildman, Luke

“… In previous work, we have developed the ConAn testing tool for the testing of concurrent Java components…”
Get full text

Towards Using Concurrent Java API Correctly by Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong

“…Concurrent Programs are hard to analyze or debug due to the complex program logic and unpredictable execution environment. In practice, ordinary programmers…”
Get full text

Slicing concurrent Java programs using Indus and Kaveri: Fundamental approaches to software engineering by PRASAD RANGANATH, Venkatesh, HATCLIFF, John

Get full text

Data flow analysis for checking properties of concurrent Java programs by Naumovich, Gleb, Avrunin, George S., Clarke, Lori A.

“…In this paper we show how the FLAVERS data flow analysis technique, originally formulated for systems using a rendezvous concurrency model, can be applied to…”
Get full text

Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs by Milanova, A, Yin Liu

“… This paper studies shared objects in open concurrent Java programs. First, it proposes a classification of shared objects into three categories…”
Get full text

Improving the scalability of directed model checking of concurrent java code through hybrid and distributed analysis by Milewicz, Reed Morgan

“…Since the widespread adoption of multi-core architectures at the turn of the millennium, parallel and concurrent programming paradigms, such as multi-threaded…”
Get full text

Mutation Operators for Concurrent Java (J2SE 5.0) by Bradbury, Jeremy S., Cordy, James R., Dingel, Juergen

“… We are interested in using mutation analysis to evaluate, compare and improve quality assurance techniques for concurrent Java programs…”
Get full text

Anomaly detection in concurrent Java programs using dynamic data flow analysis by Saleh, Kassem, Boujarwah, Abdel Aziz, Al-Dallal, Jehad

“… In this work, we first identify the different classes of synchronization anomalies that may occur in concurrent Java programs…”
Get full text

Anomaly detection in concurrent Java programs using dynamic flow analysis by Kassem Saleh, Abdel Aziz Boujarwah, Al-Dallal, Jehad

“… The different classes of synchronization anomalies that may occur in concurrent Java programs are identified…”
Get full text