Common use of Available Documentation Clause in Contracts

Available Documentation. Papers describing previous work: • ▇. ▇▇▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇. Automatic Testing from Formal Specifications. In Proc. of TAP'07, pp. 95-113, LNCS 4454, Springer, 2007. • ▇. ▇▇▇▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇▇, ▇. ▇▇▇▇, ▇. ▇▇▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇▇▇▇▇▇▇▇▇. Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. In Proc. of TestCom/FATES 2009, pp. 179-194, IEEE Computer Society, 2009. • ▇. ▇▇▇▇▇▇▇▇▇, ▇. ▇▇▇▇▇. Functional Search-based Testing from State Machines. In Proc. of ICST 2008, pp. 525-528, IEEE Computer Society, 2008. • ▇. ▇▇▇▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇▇▇▇▇. Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces. In Proc. of the Satellite Workshops of ECBS'10. pp. 352-357, IEEE Computer Society, 2010. See also: DEPLOY Deliverable D53 (August 2010).

Available Documentation. Papers describing previous work: • ▇. ▇▇▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇. Automatic Testing from Formal Specifications. In Proc. of TAP'07, pp. 95-113, LNCS 4454, Springer, 2007. • ▇. ▇▇▇▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇▇, ▇. ▇▇▇▇, ▇. ▇▇▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇▇▇▇▇▇Bendisposto, ▇. ▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇▇▇▇▇▇▇▇▇. Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. In Proc. of TestCom/FATES 2009, pp. 179-194, IEEE Computer Society, 2009. • ▇. R. ▇▇▇▇▇▇▇▇▇, ▇. ▇▇▇▇▇Ipate. Functional Search-based Testing from State Machines. In Proc. of ICST 2008, pp. 525-528, IEEE Computer Society, 2008. • ▇. ▇▇▇▇▇▇▇▇▇, ▇. ▇▇▇▇▇▇▇▇▇▇. Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces. In Proc. of the Satellite Workshops of ECBS'10. pp. 352-357, IEEE Computer Society, 2010. See also: DEPLOY Deliverable D53 (August 2010).