concurrent java programs

38

WCRE
2010
IEEE

160views Software Engineering» more WCRE 2010»

Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs

14 years 19 days ago

—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difﬁcult. Therefore, it is important to study new program understanding te...

Ana Milanova, Yin Liu

claim paper

Read More »

51

click to vote

DAGSTUHL
2001

218views Software Engineering» more DAGSTUHL 2001»

JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs

14 years 3 months ago

Download www.imamu.edu.sa

Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...

Katharina Mehner

claim paper

Read More »

58

click to vote

CAV
2006
Springer

209views Hardware» more CAV 2006»

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools

14 years 6 months ago

Download osl.cs.uiuc.edu

CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...

Koushik Sen, Gul Agha

claim paper

Read More »

153

click to vote

POPL
2001
ACM

324views Programming Languages» more POPL 2001»

Verifying safety properties of concurrent Java programs using 3-valued logic

15 years 2 months ago