ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 9 Issue 1, Jan. 2000

Composite model-checking: verification with type-specific symbolic representations
Tevfik Bultan, Richard Gerber, Christopher League
Pages: 3-50
DOI: 10.1145/332740.332746
There has been a surge of progress in automated verification methods based on state exploration. In areas like hardware design, these technologies are rapidly augmenting key phases of testing and validation. To date, one of the most successful...

Using shape analysis to reduce finite-state models of concurrent Java programs
James C. Corbett
Pages: 51-93
DOI: 10.1145/332740.332741
Finite-state verification (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...

Abstracting dependencies between software configuration items
Carl A. Gunter
Pages: 94-131
DOI: 10.1145/332740.332743
This article studies an abstract model of dependencies between software configuration items based on a theory of concurrent computation over a class of Petri nets called production nets. A general theory of build optimizations...