Deriving Test Sets from Partial Proofs.

Guillaume Lussier Hélène Waeselynck Deriving Test Sets from Partial Proofs. 14-24 2004 conf/issre/2004 ISSRE http://doi.ieeecomputersociety.org/10.1109/ISSRE.2004.16 db/conf/issre/issre2004.html#LussierW04