An Incremental Approach to Structural Testing of Concurrent Software

Abstract

Structural testing of a concurrent program P involves the selection of paths of P according to a structure-based criterion. A common approach is to derive the reachability graph (RG) of P, select a set of paths of P, derive one or more inputs for each selected path, and force deterministic executions of P according to the selected paths and their inputs… (More)
DOI: 10.1145/229000.226298

Topics

5 Figures and Tables

Slides referencing similar topics