Titlebook: Hardware and Software, Verification and Testing; First International Shmuel Ur,Eyal Bin,Yaron Wolfsthal Conference proceedings 2006 Spring

Occipital-Lobe

amphibian

努力赶上

An Extensible Open-Source Compiler Infrastructure for Testingent, analyze, and transform the application’s source code to help carry out testing tasks. However, the support required to compile applications written in common general purpose languages is generally inaccessible to the testing research community. In this paper, we report on an extensible, open-so

tolerance

integrated

Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domainsebugging industrial programs is hard due to the large search space. A new tool, REDBUG, is introduced. REDBUG is based on an optimal search in structured domain technology. REDBUG supports a reduced coverage criterion rendering the coverage of industrial programs practical. In addition, by using an

enormous

Benchmarking and Testing OSD for Correctness and Compliancebject-based storage devices (OSDs) for correctness and compliance with the T10 OSD standard. A special consideration is given to test the security model of an OSD implementation. Additionally, some work was carried out on building OSD benchmarks. This work can be a basis for a general-purpose benchm

解开

柔美流畅

Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoringwhich occurs when a set of threads is blocked each trying to acquire a lock held by another thread in that set. Static and dynamic (run-time) analysis techniques exist to detect deadlocks..Havelund’s GoodLock algorithm detects potential deadlocks at run-time. However, it detects only potential deadl

相容

impale

Verification of the Java Causality Requirementse acyclic, as defined by the JMM causality requirements. We study the problem of post-mortem verification of these requirements and prove that the task is NP-complete. We then argue that in some cases the task may be simplified either by considering a slightly stronger memory model or by tracing the