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
Laboratoire CEDRIC : Connect in order to contact the contributor
https://hal.science/hal-01126115
Submitted on : Friday, March 6, 2015-11:40:48 AM
Last modification on : Tuesday, April 9, 2024-5:12:46 PM