2. Experimental Settings
This section describes the configuration of our study. Section 2.1 brie°y exemplifies
and explains how we have implemented the design by contract concern using aspectoriented
decompositions. Section 2.2 discusses the choice of the target system.
Finally, Sec. 2.3 describes our assessment procedures.