40 search results - page 6 / 8 » Checking and Correcting Behaviors of Java Programs at Runtim... |
VEE
2005
ACM
13 years 11 months ago
2005
ACM
Instrumentation is commonly used to track application behavior: to collect program profiles; to monitor component health and performance; to aid in component testing; and more. P...
OOPSLA
2005
Springer
13 years 11 months ago
2005
Springer
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
BMCBI
2006
13 years 6 months ago
2006
Background: Bioinformatics applications are now routinely used to analyze large amounts of data. Application development often requires many cycles of optimization, compiling, and...
VMCAI
2009
Springer
14 years 1 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
VL
2005
IEEE
13 years 11 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...