598 search results - page 16 / 120 » A dynamic birthmark for java |
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
The jGRASP lightweight IDE provides object viewers that automatically generate dynamic, statebased visualizations of objects and primitive variables in Java. Multiple synchronized...
CAV
2004
Springer
13 years 11 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
IWPC
2006
IEEE
14 years 1 months ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Improperly validated user input is the underlying root cause for a wide variety of attacks on web-based applications. Static approaches for detecting this problem help at the time...
UML
2005
Springer
14 years 25 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...