Error Detection in Concurrent Java Programs | Zendy

Graham Hughes | Zendy; Sreeranga P. Rajan | Zendy; Tom Sidle | Zendy; Keith D. Swenson | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Error Detection in Concurrent Java Programs

Author(s) -

Graham Hughes,

Sreeranga P. Rajan,

Tom Sidle,

Keith D. Swenson

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.01.004

Subject(s) - computer science , concurrency , programming language , java , software quality , model checking , software , software development

Concurrency in multithreaded programs introduces additional complexity in software verification and testing, and thereby significantly increases the cost of Quality Assurance (QA). We present a case study in which a specialized model checker was used to discover concurrency errors in a large preexisting code base. The results revealed race conditions that lead to data corruption errors whose detection would have been prohibitively expensive with conventional testing and QA methods. We describe our methodology and highlight parts of the methodology that could be automated

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research