Search - Testing Software and Systems Access content directly

Filter your results

1 Array
Image document

A Model-Based Approach to Testing Software for Critical Behavior and Properties

Constance Heitmeyer
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.15-15, ⟨10.1007/978-3-642-16573-3_2⟩
Conference papers hal-01055246v1