Publication: A classification of concurrency bugs in java benchmarks by developer intent
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