A first step in the design of a formally verified constraint-based testing tool: FocalTest - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

A first step in the design of a formally verified constraint-based testing tool: FocalTest

Abstract

A first step in the design of a formally verified constraint-based testing tool
No file

Dates and versions

hal-01126115 , version 1 (06-03-2015)

Identifiers

  • HAL Id : hal-01126115 , version 1

Cite

Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb. A first step in the design of a formally verified constraint-based testing tool: FocalTest. Tests and Proofs, May 2012, Prague, Czech Republic. pp.35--50. ⟨hal-01126115⟩
26 View
0 Download

Share

Gmail Facebook X LinkedIn More