Search Results - (("Concurrent Java programs") OR ("Concurrent Java progress"))

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

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

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

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. We suggest that there…”
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

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

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

Testing Concurrent Java Programs using Randomized Scheduling by Stoller, Scott D.

“…The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors…”
Get full text

Behavior investigation of concurrent Java programs: an approach based on source-code instrumentation by Bechini, Alessio, Prete, Cosimo Antonio

“…Java makes easier the coding phase of concurrent applications and provides friendly mechanisms for the information exchange among threads and different…”
Get full text

A run-time deadlock detector for concurrent Java programs by Nonaka, Y., Ushijima, K.

“…Deadlock is one of the most serious and complex problems concerning the reliability of concurrent Java programs…”
Get full text

Safe and Verifiable Design of Concurrent Java Programs by Welch, P.H., Hilderink, G.H., Bakkers, A.W.P., Stiles, G.S.

“…The design of concurrent programs has a reputation for being difficult, and thus potentially dangerous in safety-critical real-time and embedded systems. The…”
Get full text

Error Detection in Concurrent Java Programs by Hughes, Graham, Rajan, Sreeranga P., Sidle, Tom, Swenson, Keith

“…Concurrency in multithreaded programs introduces additional complexity in software verification and testing, and thereby significantly increases the cost of…”
Get full text

A practical MHP information computation for concurrent Java programs by Li, Lin

“…With the development of multi-processors, multi-threaded programs and programming languages have become more and more popular. This requires extending the…”
Get full text

Multithreaded dependence graphs for concurrent Java programs by Zhao

“… We present a dependence-based representation called multithreaded dependence graph, which extends previous dependence-based representations, to represent program dependencies in a concurrent Java program…”
Get full text

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

Get full text

Design of a toolset for dynamic analysis of concurrent Java programs by Bechini, A., Tai, K.-C.

“… Also, Java classes can be defined to simulate other types of concurrent constructs. However, concurrent Java programs, like other concurrent programs, are difficult to specify, design, code, test and debug…”
Get full text