concurrent java programs

12

WCRE
2010
IEEE

160views Software Engineering» more WCRE 2010»

Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs

13 years 2 months 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 »

20

click to vote

DAGSTUHL
2001

218views Software Engineering» more DAGSTUHL 2001»

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

13 years 6 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 »

13

click to vote

CAV
2006
Springer

209views Hardware» more CAV 2006»

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

13 years 8 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 »

68

click to vote

POPL
2001
ACM

324views Programming Languages» more POPL 2001»

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

14 years 4 months ago