Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/2134243acmconferencesBook PagePublication PagesicseConference Proceedingsconference-collections
WODA '09: Proceedings of the Seventh International Workshop on Dynamic Analysis
ACM2009 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
ISSTA '09: International Symposium on Software Testing and Analysis Chicago Illinois 20 July 2009
ISBN:
978-1-60558-656-4
Published:
20 July 2009
Sponsors:
In-Cooperation:
Next Conference
Reflects downloads up to 13 Feb 2025Bibliometrics
Abstract

No abstract available.

Skip Table Of Content Section
SESSION: Monitoring
research-article
A runtime environment for online processing of operating system kernel events

Different approaches were proposed for the logging of operating system kernel events. In general, the resulting logfiles are huge and have to be analyzed by administrators, who try to identify problems and derive adequate actions. The idea of autonomic ...

research-article
Using AOP for detailed runtime monitoring instrumentation

Although AOP has long been used for monitoring purposes, the level of detail that virtually all AOP frameworks support is not enough to support broad classes of monitoring applications. Often the method or function call is the basic unit of code weaving,...

SESSION: Testing
research-article
<u>T</u>i<u>d</u>d<u>l</u>e: a <u>t</u>race <u>d</u>escription <u>l</u>anguage for generating concurrent benchmarks to test dynamic analyses

Dynamic analysis is a promising technique for finding concurrency bugs in multithreaded programs. However, testing a dynamic analysis tool can be difficult. Researchers end up writing large amounts of small benchmark programs. Since the benchmarks ...

research-article
(Quickly) testing the tester via path coverage

The configuration complexity and code size of an automated testing framework may grow to a point that the tester itself becomes a significant software artifact, prone to poor configuration and implementation errors. Unfortunately, testing the tester by ...

research-article
Test case filtering and prioritization based on coverage of combinations of program elements

Test case filtering is concerned with selecting from a test suite T a subset T' that is capable of revealing most of the defects revealed by T. A smaller T' is desirable since it translates to fewer test runs to be audited manually. Test case ...

SESSION: Concurrency
research-article
Cooperative crug isolation

With the widespread deployment of multi-core hardware, writing concurrent programs has become inescapable. This has made fixing concurrency bugs (or crugs) critical in modern software systems. Static analysis techniques to find crugs such as data races ...

research-article
Limits of parallelism using dynamic dependency graphs

The advance of multi-core processors has led to renewed interest in extracting parallelism from programs. It is sometimes useful to know how much parallelism is exploitable in the limit for general programs, to put into perspective the speedups of ...

Contributors
  • University of Wisconsin-Madison
  • Case Western Reserve University
Please enable JavaScript to view thecomments powered by Disqus.

Recommendations