Publication:
A classification of concurrency bugs in java benchmarks by developer intent

Placeholder

School / College / Institute

Organizational Unit

Program

KU Authors

Co-Authors

Publication Date

Language

Embargo Status

Journal Title

Journal ISSN

Volume Title

Alternative Title

Abstract

This work addresses the issue of selecting the formal correctness criterion for a concurrent Java program that best corresponds to the developer's intent. We study a set of concurrency-related bugs detected in Java benchmarks reported in the literature. On these programs, we determine whether race-freedom, atomicity or refinement is the simplest and most appropriate criterion for program correctness. Our purpose is to demonstrate empirically the fact that the appropriate fix for a concurrency error and the selection of a program analysis tool for detecting such an error must be based on the proper expression of the designer's intent using a formal correctness criterion.

Source

Publisher

Association for Computing Machinery (ACM)

Subject

Java (Computer program language), Compilers (Computer programs), Java, Software engineering, Artificial intelligence, Computers

Citation

Has Part

Source

Proceeding of The 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD '06

Book Series Title

Edition

DOI

10.1145/1147403.1147407

item.page.datauri

Link

Rights

Copyrights Note

Endorsement

Review

Supplemented By

Referenced By

0

Views

0

Downloads

View PlumX Details