Constructing Compact Models of Concurrent Java Programs (1998)
| Venue: | In Proceedings of the ACM Sigsoft Symposium on Software Testing and Analysis |
| Citations: | 27 - 4 self |
BibTeX
@INPROCEEDINGS{Corbett98constructingcompact,
author = {James C. Corbett},
title = {Constructing Compact Models of Concurrent Java Programs},
booktitle = {In Proceedings of the ACM Sigsoft Symposium on Software Testing and Analysis},
year = {1998},
pages = {1--10},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Finite-state verification technology (e.g., model checking) provides a powerful means to detect concurrency errors, which are often subtle and difficult to reproduce. Nevertheless, widespread use of this technology by developers is unlikely until tools provide automated support for extracting the required finite-state models directly from program source. In this paper, we explore the extraction of compact concurrency models from Java code. In particular, we show how static pointer analysis, which has traditionally been used for computing alias information in optimizers, can be used to greatly reduce the size of finite-state models of concurrent Java programs.
