Two approaches linking a test generation tool with verification techniques
Marylène Clatin, Roland Groz, Marc Phalippou, Richard Thummel · 1996
This paper presents two methods implemented in a test generation tool to compute significant feasible test paths including parameter values for input-output events. The first method is a kind of symbolic execution. The second method consists in linking the test generation tool with a tool permitting sophisticated types of reachability analysis. Preliminary results on non-trivial protocols are commented.