Sciweavers

11 search results - page 2 / 3
» Using Compressed Bytecode Traces for Slicing Java Programs
Sort
View
VL
2005
IEEE
104views Visual Languages» more  VL 2005»
13 years 10 months ago
Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams
This paper presents a strategy for the visualization of dynamic object relationships in Java programs. The metaphor of a chemical molecule is used to aid comprehension, and to hel...
Brian A. Malloy, James F. Power
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
13 years 9 months ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere
CHI
2009
ACM
14 years 4 months ago
Finding causes of program output with the Java Whyline
Debugging and diagnostic tools are some of the most important software development tools, but most expect developers choose the right code to inspect. Unfortunately, this rarely o...
Andrew Jensen Ko, Brad A. Myers
ICSE
2008
IEEE-ACM
14 years 5 months ago
jPredictor: a predictive runtime analysis tool for java
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
Feng Chen, Traian-Florin Serbanuta, Grigore Rosu
IH
2005
Springer
13 years 9 months ago
Self-validating Branch-Based Software Watermarking
Software protection is an area of active research in which a variety of techniques have been developed to address the issue. Examples of such techniques are software watermarking, ...
Ginger Myles, Hongxia Jin