41 search results - page 5 / 9 » Dynamic Slicing of Java Bytecode Programs |
115
click to vote
APSEC
2009
IEEE
15 years 3 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...
79
Voted
CL
2006
Springer
15 years 9 days ago
2006
Springer
Transforming programs to alter their semantics is of wide interest, for purposes as diverse as off-the-shelf component adaptation, optimization,tracegeneration,andexperimentationw...
121
click to vote
ASE
2004
15 years 3 days ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
101
click to vote
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
115
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...