On Test Derivation from Partial Specifications.

Alexandre Petrenko, Nina Yevtushenko

Browse the full FORTE paper archive.